Bug fix #78: CurrentState keyword is mandatory in expressions and pre-conditions on state machines