static void cleanUpVar(S var) {
  cleanUp(getMC(var));
  setMC(var, null);
}