Removed double-counting in OrderedPerson.getNumInconsistencies()