Emit better debugger attribute for stepping over state machine initialization