debugging: Implementing haltAtNextStatement