Function foo

    line 23
    6
    O(1)
      line 47
      36
      O(1)
    line 88
    5 assuming { (<= G7 0) }

    O(1)
      line 166
      30
      O(1)
        line 186
        216
        O(1)
      line 109
      30
      O(1)
        line 106
        60
        O(1)
          line 146
          310
          O(1)
    line 206
    5
    O(1)
      line 226
      31
      O(1)
    line 246
    5
    O(1)
      line 268
      36
      O(1)

Total Bound: 770
Total Complexity: O(1)