Bug on guards in conditional tests
In guards, expressions of type "a µ b<c" with µ is in {+,-,*,/} make the simulators crash and syntax checker does not raise errors on these expressions; while expressions of type "(a µ b)<c" with added brackets do not lead to this bug.