Function foo

    line 8
    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 34
      FAILED to compute RF
        line 115
        FAILED to compute RF
        line 77
        FAILED to compute RF
          line 93
          FAILED to compute RF
    line 57
    max(0, (A + 1 + -B))
    O(n)