let
isLogicConstant t =
match
t.term_node
with
TConst
_
->
true
|
_
->
false