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