Split hot method Tool#getNextStateAppl into smaller chunks to facilitate runtime inlining.
Split hot method Tool#getNextStateAppl into smaller chunks to facilitate
runtime inlining.

[Refactor][TLC]
lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus