Function foo

    line 9
    FAILED to compute RF
      line 44
      max(0, (A + -2 + -B)) + max(0, (A + -2 + -B)) + max(0, (A + -2 + -B)) + max(0, (A + -2 + -B))
      O(n)