let ip_complete f = List.map (fun bs -> Property.IPComplete(f,Kglobal,bs)) f.spec.spec_complete_behaviors