Verificación realizada por las reglas de planificación problema al infringir una regla