LAUNCHXL-F28P55X: CLB Counter stops forever on MOV Command from HLC

Part Number: LAUNCHXL-F28P55X

Tool/software:

My setup is:
I configured the CLB prescaler with 149 and actived it

I set 3 GPIO inputs as filtered on any edge as CLB input 0 to 2 

I set the CLB input4 to CLB Prescaler

I set LUT0 as or of the three GPIO inputs, thus raising the output on any single change of the gpio

I configured the counter event on boundary input 4, so counter counts with CLB input

R3 is set to 0

I trigger an HLC event on any LUT0

the program is:

PUSH C0  
MOV R3, C0

I was expecting that this sets the counter to 0, but when the MOV is executed it stops the counter at the value, though the counter events (=the prescaled clock signal) keeps running. The counter seems to be dead. Is this a bug or intended behaviour? If the later one, how to restart it.

When I just PUSH C0 the counter keeps running.