Function foo

    line 584
    3
    O(1)
      line 33
      9
      O(1)
        line 51
        30
        O(1)
          line 69
          90
          O(1)
            line 87
            273
            O(1)
              line 106
              FAILED to compute RF
                line 105
                FAILED to compute RF
    line 477
    max(call_to_nondet_line_10, 0)
    O(n)
      line 495
      max(0, ( max(call_to_nondet_line_10, 0) × max(0, (call_to_nondet_line_10 + -1)) + max(0, (call_to_nondet_line_10 + -1))))
      O(n^2)
        line 513
        max(0, ( max(0, ( max(call_to_nondet_line_10, 0) × max(0, (call_to_nondet_line_10 + -1)) + max(0, (call_to_nondet_line_10 + -1)))) × max(0, (call_to_nondet_line_10 + -2), (call_to_nondet_line_10 + -1)) + max(0, (call_to_nondet_line_10 + -1))))
        O(n^3)
    line 370
    max(call_to_nondet_line_10, 0)
    O(n)
      line 388
      max(0, ( max(call_to_nondet_line_10, 0) × max(0, (call_to_nondet_line_10 + -1)) + max(0, (call_to_nondet_line_10 + -1))))
      O(n^2)
        line 406
        max(0, ( max(0, ( max(call_to_nondet_line_10, 0) × max(0, (call_to_nondet_line_10 + -1)) + max(0, (call_to_nondet_line_10 + -1)))) × max(0, (call_to_nondet_line_10 + -2), (call_to_nondet_line_10 + -1)) + max(0, (call_to_nondet_line_10 + -1))))
        O(n^3)
    line 294
    max(call_to_nondet_line_10, 0)
    O(n)
      line 312
      max(0, ( max(call_to_nondet_line_10, 0) × max(call_to_nondet_line_10, 0) + max(call_to_nondet_line_10, 0)))
      O(n^2)
    line 256
    max(call_to_nondet_line_10, 0)
    O(n)
      line 274
      max(0, ( max(call_to_nondet_line_10, 0) × max(call_to_nondet_line_10, 0) + max(call_to_nondet_line_10, 0)))
      O(n^2)