Add debug backend

Can be used to see the exact communication with the SMT solver