Function foo

    line 76
    max(call_to_nondet_line_396, 0)
    O(n)
    line 367
    max(call_to_nondet_line_333, 0)
    O(n)
    line 295
    max(call_to_nondet_line_43, call_to_nondet_line_12, 0)
    O(n)
    line 110
    FAILED to compute RF
    line 219
    max(call_to_nondet_line_115, 0)
    O(n)
    line 277
    FAILED to compute RF