modified ceval to treat the environment as a pair instead of a list