symbolic debugger