Undid the changes to environmenta

and sisyphus predicates