removed unneeded import
moved b.ll13 → RelationProperties.paste_disj_domains; fixed RelationProperties imports