pavo: Added another counter example where the counter can be halted