Function foo

    line 25
    FAILED to compute RF
    line 66
    max(call_to_nondet_line_9, 0)
    O(n)
    line 45
    FAILED to compute RF