Function foo

    line 83
    max(call_to_nondet_line_9, 0)
    O(n)
      line 21
      FAILED to compute RF
        line 39
        FAILED to compute RF
          line 39
          FAILED to compute RF