compareVars :=
  {
    "cons.y",
    "booleanPulse.y",
    "intDef.y_start",
    "intDef.y",
    "intDef.y_reset_in",
    "intWitRes1.y_start",
    "intWitRes1.y",
    "intWitRes1.y_reset_in",
    "intWitRes2.y_start",
    "intWitRes2.y",
    "intWitRes2.y_reset_in"
  };
