let collect_implies p = fold_implies [] [] p