pub fn muldiv_expr( config: ExprBuilderConfig, range_bus: VariableRangeCheckerBus, ) -> (FieldExpr, usize, usize)