Function mk_add_rules

fn mk_add_rules(
    check_overflow: bool,
) -> fn(_: &[(BaseTy, Expr); N]) -> Option<MatchedRule>

a + b