[Refactor] Simplify if checks on transition insertion.
[Refactor] Simplify if checks on transition insertion.
tlaplus/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus