Function foo

    line 76
    max(call_to_nondet_line_394, 0)
    O(n)
    line 365
    max(call_to_nondet_line_331, 0)
    O(n)
    line 293
    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 275
    FAILED to compute RF