compareVars :=
  {
    "truFalHol.u",
    "truFalHol.y",
    "truFalHol1.u",
    "truFalHol1.y",
    "truFalHol2.u",
    "truFalHol2.y",
    "truFalHol3.u",
    "truFalHol3.y",
    "truFalHol4.u",
    "truFalHol4.y",
    "truFalHol5.u",
    "truFalHol5.y",
    "truFalHol6.u",
    "truFalHol6.y",
    "truFalHol7.u",
    "truFalHol7.y",
    "truFalHol8.u",
    "truFalHol8.y"
  };
