Function foo

    line 29
    max(0, (-1 + max(B, (B + -1))))
    O(n)
      line 26
      FAILED to compute RF
        line 39
        FAILED to compute RF