compareVars :=
  {
    "x_incStrict[1]",
    "x_incStrict[2]",
    "x_incStrict[3]",
    "x_notMon[1]",
    "x_notMon[2]",
    "x_notMon[3]",
    "x_incWeak[1]",
    "x_incWeak[2]",
    "x_incWeak[3]",
    "x_incWeak[4]",
    "x_notWeak[1]",
    "x_notWeak[2]",
    "x_notWeak[3]",
    "x_notWeak[4]",
    "x_decStrict[1]",
    "x_decStrict[2]",
    "x_decStrict[3]",
    "x_decWeak[1]",
    "x_decWeak[2]",
    "x_decWeak[3]",
    "x_decWeak[4]"
  };
