let
is_ite =
function
Propset
(
Ite
), _
->
true
|
_
->
false