Function foo

    line 63
    max(call_to_nondet_line_9, 0)
    O(n)
    line 143
    FAILED to compute RF
    line 165
    max(0, (1 + max((call_to_nondet_line_45 + -1), (call_to_nondet_line_28 + -1))))
    O(n)
      line 191
      FAILED to compute RF
    line 259
    FAILED to compute RF