isaprop_is_precategory to rc
idtomor to rc