

 Function counterex1b

    line 6 / 10
    1 + max(0, (x + 1))
    O(n^1)
      line 7 / 7
      [37;31mFAILED[0m to compute RF  ( RFComputationFailed)
      line 9 / 9
      [37;31mFAILED[0m to compute RF  ( RFComputationFailed)

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