kore-repl finds \not\ceil in stuck state

While testing an evm proof in the kore-repl in evm-semantics[1], kore-repl reported the following error:

kore-repl: [1188273727] Error (ErrorException):
    Found '\not(\ceil(_))' in stuck configuration:
    .... (long kore output)

This happened twice in the debugger when running stepf 2000 on the claim in question.
Full output: notceilbug-output.txt

To reproduce:

evm-semantics $ git checkout df290c1a # tag jb/bug-not-ceil
evm-semantics $ make tests/specs/mcd/verification/haskell/timestamp
evm-semantics $ kevm prove scratch/flopper-file-ttl-tau.k --backend haskell --format-failures --definition tests/specs/mcd/verification/haskell --debugger
Welcome to the Kore Repl! Use 'help' to get started.

Kore (0)> stepf 2000
kore-repl: [1188273727] Error (ErrorException):
    Found '\not(\ceil(_))' in stuck configuration:
(occurring twice within the 2000 steps)

[1] Repo state tagged, https://github.com/runtimeverification/evm-semantics/tree/jb/bug-not-ceil

Start by checking out evm-semantics at df290c1a, building tests/specs/mcd/verification/haskell/timestamp, and running the documented kevm prove command with --debugger. Use stepf 2000 to reproduce the stuck configuration and compare it with notceilbug-output.txt; done means the repeated \not(\ceil(_)) error no longer occurs during this run.