symbolic debugger for multiple language frontends