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] Test case
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).