fully remove the args from the ConsEnv