[Pharo-users] SmaCC: Adding conditions to production rules

Hi everyone, I am stuck with a problem in SmaCC (of which I am a newbie user). Hoping for suggestions from experts, any kind of pointer is welcome! I have a production rule for infix operators: Term : NonInfixTerm 'arg' (<opIdentifier> 'opName' NonInfixTerm 'arg') * {{InfixOpTerm}} | NonInfixTerm ; According to the syntax rules of my language, infix terms are valid only if all <opIdentifier>s are equal. Otherwise parentheses must be used to disambiguate, as the language has no precedence rules. How can I do this with SmaCC? I don't see how I could do it using the basic features, but maybe with some tweaking on the Pharo side. Thanks in advance, Konrad.