Function foo

    line 8
    max(0, (A + 1 + -C))
    O(n)
      line 24
      FAILED to compute RF
        line 24
        FAILED to compute RF
        line 200
        FAILED to compute RF
          line 280
          FAILED to compute RF
    line 76
    max(0, (A + 1 + -B))
    O(n)