Function foo

    line 45
    max(0, (1 +  call_to_nondet_line_9 × 2))
    O(n)
      line 29
      max(0, (1 +  call_to_nondet_line_9 × 2)) + max(0, (1 +  call_to_nondet_line_9 × 2))
      O(n)
    line 60
    FAILED to compute RF