Function foo

    line 8
    max(0, (A + 1 + -B))
    O(n)
    line 24
    max(0, (A + 1 + -C))
    O(n)
      line 40
      FAILED to compute RF
        line 40
        FAILED to compute RF
        line 192
        FAILED to compute RF
          line 252
          FAILED to compute RF