fix bug that would cause error message EC.TLC_BACK_TO_STATE to output incorrectly
fix bug that would cause error message EC.TLC_BACK_TO_STATE to output incorrectly

tlaplus/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus,lemmy/tlaplus