let ip_complete f = Property.ip_complete_of_spec f Kglobal f.spec