let
is_assigns p =
match
p.p_prop
with
|
Property
.
IPAssigns
_
->
true
|
_
->
false