pub fn count_or_leaves(e: &BoundedExpr) -> usize
Count the number of Or-leaves in a BoundedExpr tree.