/Domains/ca.mcgill.rtgmrt.example.modes3/src/modes3/run/
../
Modes3ModelGenerator.xtend
Modes3UnitPropagationGenerator.xtend