Symbolic debugger for multiple language frontends
