EliminateVars -> EliminateVariables