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