The counter example should be make runnable. the problem is with the lack of implementation of the clone with the counter
The counter example should be make runnable. the problem is with the lack of implementation of the clone with the counter