#19 Incorrect generation for refined transition guards, actions etc.

[Colin Snook]

Generated Event-B is incorrect for (user added) guards etc. on transitions in a refined statemachine when the abstract guards are refined rather than superposition. a) The generation does not take account of extends. b) The generation assumes a guard with the same label has the same predicate.

[Colin Snook]

a) on further examination does take account of extends correctly however, the transition extends feature is not yet supported and extended events can be confusing when working in a statemachine.

b) fixed.. now properly tests for the equivalent predicate (modulo whitespace).