I'm trying to use "forall" quantification on guards and I'm gettin an
exception "Cannot normalise forall..." even though the same kind of
functionality seems to work in location invariants.
Created attachment 76 [details]
I have only tested forall and exists with non-clock guards, so I'm not surprised :-) I will take a look at it.
Fixed on the trunk (revision 1333).