Function foo

    line 8
    max(0, (max(B, 0) + max(0, (A + 1 + -B))))
    O(n)
      line 165
      max(0, ( max(0, (max(B, 0) + max(0, (A + 1 + -B)))) × max(0, (call_to_nondet_line_22 - call_to_nondet_line_23)) + max(0, (call_to_nondet_line_22 - call_to_nondet_line_23)))) assuming { (> Q18 0) }

      O(n^2)
        line 197
        FAILED to compute RF
          line 213
          FAILED to compute RF
            line 235
            FAILED to compute RF
      line 46
      FAILED to compute RF
        line 132
        FAILED to compute RF
        line 92
        FAILED to compute RF
          line 110
          FAILED to compute RF
    line 71
    max(0, (A + 1 + -B))
    O(n)