let
is_requires =
function
|
Property
.
IPPredicate
(
Property
.
PKRequires
_,_,_,_)
->
true
|
_
->
false