NPE in liveness checking with simulation.
NPE in liveness checking with simulation.

[Bug][TLC]
tlaplus/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus