FOFLess::pushEnv

The state of execution