Function count_operands 

pub fn count_operands(expr: &BoolExpr) -> usize

Counts operands (every Comparison leaf’s two operands, plus every arithmetic/function operand nested within them) in a BoolExpr tree, for rule V-206’s conformance-floor check (spec §6.2).