fix #253 StructuralReasoner.getSameIndividuals does not behave as
advertised

getDifferentIndividuals was not implemented as well.