Add more prose explaining the flow in the TLCServer modelcheck method
Add more prose explaining the flow in the TLCServer modelcheck method

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