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