let rec fold_on_disjunction f p acc = match p.content with | Por (p1,p2 ) -> fold_on_disjunction f p2 (fold_on_disjunction f p1 acc) | _ -> f p acc