| rule Flowcharts | |
| match l : Left!Flowchart | |
| with r : Right!Flowchart { | |
| compare : true | |
| } | |
| @greedy | |
| rule Node | |
| match l : Left!Node | |
| with r : Right!Node { | |
| compare : l.name = r.name | |
| } | |
| rule Transitions | |
| match l : Left!Transition | |
| with r : Right!Transition { | |
| compare : l.name = r.name and | |
| l.source.matches(r.source) and | |
| l.target.matches(r.target) | |
| } |