Function foo

    line 8
    max(0, (A + 1 + -B))
    O(n)
    line 28
    max(0, (max(B, 0) + max(0, (A + 1 + -B))))
    O(n)
      line 146
      FAILED to compute RF
        line 178
        FAILED to compute RF
          line 194
          FAILED to compute RF
            line 216
            FAILED to compute RF
      line 54
      FAILED to compute RF
        line 115
        FAILED to compute RF
        line 77
        FAILED to compute RF
          line 93
          FAILED to compute RF