[TxMt] Injection grammar to highlight conflict markers