Avance algoritmo prueba aciclidad. NextStepNotExists excepcion.