[TxMt] Why is PyCheckMate doing a syntax check only?