Function foo

    line 12
    max(0, (1 + max(call_to_nondet_line_20, B)))
    O(n)
      line 8
      FAILED to compute RF