fix transitions from any state, broken by the addition of the ANY clause