code: final void undeclare(V var) {
      checkState(var.scope == this);
      checkState(vars.get(var.name).equals(var));
      undeclareInteral(var);
    }
docs: Undeclares a variable, to be used when the compiler optimizes out
  a variable and removes it from the scope.