Remove a variable that is not referenced without INVARIANTS