public static void addFailingTest(ContractViolation violation){
  violationCount++;
  if (!hasViolation(violation)) {
    violations.add(violation);
  }
}

public static void addFailingTest ( ContractViolation violation ) { violationCount ++ ; if ( ! hasViolation ( violation ) ) { violations . add ( violation ) ; } }
keep track of a new observed contract violation
