Fix parentheses parsing

[lou1306]

In some cases the parser incorrectly processes parentheses. For instance, it might use the paction parser on a guard.

This is likely due to

• the order in which the different parsers for parentheses are attempted
• lack of backtracking

To do: find a minimal, correct specification file such that the parser fails.