Function foo

    line 76
    max(call_to_nondet_line_392, 0)
    O(n)
    line 363
    max(call_to_nondet_line_329, 0)
    O(n)
    line 291
    max(call_to_nondet_line_43, call_to_nondet_line_12, 0)
    O(n)
    line 114
    max(call_to_nondet_line_79, 0)
    O(n)
    line 215
    max(call_to_nondet_line_117, 0)
    O(n)
    line 273
    FAILED to compute RF