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