As reflSubSet doesn't return reflexives anymore, there's no need to filter out duplicates in symTransSubSets
As reflSubSet doesn't return reflexives anymore, there's no need to filter out
duplicates in symTransSubSets

dawedawe/kripkeweb