Fail on specifying state transition without scenario