Function foo

    line 76
    max(call_to_nondet_line_384, 0)
    O(n)
    line 355
    max(call_to_nondet_line_321, 0)
    O(n)
    line 283
    max(call_to_nondet_line_42, call_to_nondet_line_12, 0)
    O(n)
    line 110
    FAILED to compute RF
    line 217
    max(call_to_nondet_line_115, 0)
    O(n)
    line 265
    FAILED to compute RF