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