a phase to clean env
forget push exp_util modification; fix bugs in env-clean