fix #253 StructuralReasoner.getSameIndividuals does not behave as
advertised