moved b.ll29 → RelationProperties.restrict_to_singleton
moved b.ll33 → RelationProperties.Domain_Int_wrt_converse