let ip_disjoint f = Property.ip_disjoint_of_spec f Kglobal f.spec