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