attempt to fix bdd execution to accomodate transition goals
Merge branch 'fastslow_multiRobot' of github.com:wongkaiweng/LTLMoP into fastslow_multiRobot