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