moved b.ll37 → RelationProperties.disj_Domain_imp_disj_Image
moved b.ll15a → RelationProperties.runiq_converse_paste
moved b.ll15 → RelationProperties.runiq_converse_paste_singleton