Optimizations made in ModuleENV.cpp