The first problem was to allow to check that two different node are not present together. It can be done using a total count of multiple regexes. This allows basic arithmetic.

An alternative solution would be to allow AND, OR and NOT in IR rules. This allows propositional logic.