likely_eval now returns an environment