Function foo

    line 8
    max(0, (call_to_nondet_line_1524 + -2))
    O(n)
    line 1950
    max(0, (H + 1))
    O(n)
      line 2023
      max(0, ( max(0, (call_to_nondet_line_1943 + -1)) × max(0, (H + 1)) + max(0, (call_to_nondet_line_1943 + -1))))
      O(n^2)
      line 1942
      max(0, (H + 1)) + max(0, (H + 1))
      O(n)
    line 1620
    max(B, 0)
    O(n)
    line 1080
    FAILED to compute RF
      line 1080
      FAILED to compute RF
        line 1080
        FAILED to compute RF
    line 1348
    max(0, (T3 + 1))
    O(n)
    line 1460
    max(0, (W3 + 1))
    O(n)
    line 1857
    max(B, 0)
    O(n)