kore-repl does not allow filtering cells when using konfig

To reproduce:
test.k

module TEST
  syntax KItem ::= "a" | "b"
  configuration
    <k> $PGM:KItem </k>
    <test> a </test>
  rule a => b
endmodule

proof.k

module PROOF
  import TEST

  claim a => b
endmodule

Command line:

kompile test.k --backend haskell && kprove proof.k --debugger

Repl:

Kore (0)> konfig
[shows the full config]
Kore (0)> omit test
Kore (0)> omit <test>
Kore (0)> konfig
[shows the full config]
Kore (0)> omit Lbl'-LT-'test'-GT-'
Kore (0)> konfig
Config at node 0 is:

<generatedTop>
  <k>
    a ~> _DotVar1:K
  </k>
  <test>
/mnt/data/runtime-verification/k/k-distribution/target/release/k/lib/kframework/../../bin/../lib/kframework/k-util.sh: line 103: 2105196 Aborted                 (core dumped) "$@"

Reproduce the issue with the provided test.k and proof.k files, then run kprove with --debugger and exercise konfig and omit in kore-repl. Trace the konfig filtering path, starting with the commands shown in the report. Done means filtering the cell works without leaving the full configuration or aborting the process.