let
count_disjunction p = fold_on_disjunction (
fun
_pred
->
succ) p 0