Title: Symbolic debugger user guide