let is_requires p =
  match p.p_prop with
    | Property.IPPredicate (Property.PKRequires _,_,_,_) -> true
    | _ -> false