EliminateVariable update