corrected double synchronisation problem

- also changed the non-determinism cases
Merge branch 'LVL2Composition' into IMCREOExtremeMakeOver
Extreme changes on the IMCREO project...