moved b.ll34 → RelationProperties.converse_Image_singleton
moved b.ll35 → RelationProperties.converse_Image_singleton (and renamed previous converse_Image_singleton → converse_Image_singleton_Domain)
moved b.ll32 → RelationProperties.converse_Image