Refinements and more stm counter tests