corrected double synchronisation problem

- also changed the non-determinism cases