Delete SisyphusPredicates.java