errors.add(new ElementCheckFailure(NOT_REFLEXIVE, classNumber, elementNumber, element)); if (!doesCompareReturn0(element, element)) { errors.add(new ElementCheckFailure(COMPARE_NOT_REFLEXIVE, classNumber, elementNumber, element)); if (!doesCompareReturn0(primary, secondary)) { errors.add(new PairCheckFailure(COMPARE_NOT_EQUAL, classNumber, if (!doesCompareReturn0(secondary, primary)) { errors.add(new PairCheckFailure(COMPARE_NOT_EQUAL, classNumber,
errors.add(new ElementCheckFailure(NOT_REFLEXIVE, classNumber, elementNumber, element)); if (!doesCompareReturn0(element, element)) { errors.add(new ElementCheckFailure(COMPARE_NOT_REFLEXIVE, classNumber, elementNumber, element)); if (!doesCompareReturn0(primary, secondary)) { errors.add(new PairCheckFailure(COMPARE_NOT_EQUAL, classNumber, if (!doesCompareReturn0(secondary, primary)) { errors.add(new PairCheckFailure(COMPARE_NOT_EQUAL, classNumber,
errors.add(new ElementCheckFailure(NOT_REFLEXIVE, classNumber, elementNumber, element)); if (!doesCompareReturn0(element, element)) { errors.add(new ElementCheckFailure(COMPARE_NOT_REFLEXIVE, classNumber, elementNumber, element)); if (!doesCompareReturn0(primary, secondary)) { errors.add(new PairCheckFailure(COMPARE_NOT_EQUAL, classNumber, if (!doesCompareReturn0(secondary, primary)) { errors.add(new PairCheckFailure(COMPARE_NOT_EQUAL, classNumber,