Cut And Fail Predicate In Prologo Saddles