made changes to the symbolic debugger and executor. Checkpoint, changes not complete yet