Added AndTransition menu and add fact (not precondition) to precondition transitions.