[TxMt] [TM2] TM2 hangs when calling `mate` without arguments from inside TM2