Add elimBool to initEnv