

 Function f

    line 10 / 25
    1 + max(0, (y + -1)) + max(0, (4 - __VERIFIER_nondet_int_4))
    O(n^1)
    line 19 / 22
    [37;31mFAILED[0m to compute RF  ( RFComputationFailed)

Total Complexity: [37;31mFAILED[0m
