Function foo

    line 90
    max(call_to_nondet_line_26, call_to_nondet_line_41, 0)
    O(n)
      line 169
      FAILED to compute RF