mas de checkTransitionCompleteness