Fixed step() post-state in AbstractCPU