ArgResultEquality merge(ArgResultEquality other) {
        return new ArgResultEquality(argsEqual && other.argsEqual, firstArgEqualToResult && other.firstArgEqualToResult,
                                     secondArgEqualToResult && other.secondArgEqualToResult);
      }
ArgResultEquality merge(ArgResultEquality other)