

 Function f

    line 11 / 22
    1 + max(0, (x2 + -1)) + max(0, (4 - __VERIFIER_nondet_int_4))
    O(n^1)
    line 24 / 27
    [37;31mFAILED[0m to compute RF  ( RFComputationFailed)
    line 29 / 31
    [37;31mFAILED[0m to compute Bound ( BoundDependsOnUnboundTransition)

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