Function foo

    line 8
    max(0, (call_to_nondet_line_521 + -2))
    O(n)
    line 99
    max(0, (J1 + 1))
    O(n)
    line 455
    FAILED to compute RF
    line 181
    max(0, (U1 + 1))
    O(n)
    line 349
    FAILED to compute RF