let
is_disj =
function
Disj
_
->
true
|
_
->
false