Function foo

    line 43
    4
    O(1)
      line 121
      20
      O(1)
    line 618
    4
    O(1)
      line 638
      20
      O(1)
    line 544
    4
    O(1)
    line 470
    4
    O(1)
    line 381
    max(call_to_nondet_line_11, 0)
    O(n)
      line 399
      FAILED to compute RF
    line 309
    FAILED to compute RF
    line 291
    max(call_to_nondet_line_11, 0)
    O(n)