Function bounded_datapath_nodes 

pub fn bounded_datapath_nodes(body: &ScalarBody) -> u128

The BoundedExpr node count cells_to_bounded will materialise for body, computed from the cell DAG alone — one pass, no allocation, saturating so an astronomical body is priced rather than overflowing. Mirrors cells_to_bounded’s shapes exactly: an Arith cell is 1 + |a| + |b|, a Select is the comparison (1 + |ca| + |cb|) plus both arms plus the ite node, and a Val(k) operand costs a full copy of cell k.