q: Extend the grammar for explicit transaction control handling