Refactoring Transition and TransitionMethod binding verification