se comienza implementar checkTransitionCompleteness