parse_expr_parens.cvc 38 B

123
  1. int foo() {
  2. return 2 * (1 + 2);
  3. }