I implemented the sisyphusPredicates in Environment except the last
ones.