test/regression/0300/0360.stmt

>>>
success((x1) => (x2) => (x3) => (x4) => (x5) => (x6) => (x7) => (x8) => (x9) => (x10) => (x11) => (x12) => (x13) => (x14) => (x15) => (x16) => [x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16]) * p1 * p2 * p3 * p4 * p5 * p6 * p7 * p8 * p9 * p10 * p11 * p12 * p13 * p14 * p15 * p16;
<<<
success((x1) => (x2) => (x3) => (x4) => (x5) => (x6) => (x7) => (x8) => (x9) =>
        (x10) => (x11) => (x12) => (x13) => (x14) => (x15) => (x16) => [
              x1,
              x2,
              x3,
              x4,
              x5,
              x6,
              x7,
              x8,
              x9,
              x10,
              x11,
              x12,
              x13,
              x14,
              x15,
              x16
            ]) *
    p1 *
    p2 *
    p3 *
    p4 *
    p5 *
    p6 *
    p7 *
    p8 *
    p9 *
    p10 *
    p11 *
    p12 *
    p13 *
    p14 *
    p15 *
    p16;