added not-in-env to eval-exp