let ip_disjoint f =
  List.map
    (fun bs -> Property.IPDisjoint(f,Kglobal,bs))
    f.spec.spec_disjoint_behaviors