add klee_xqx_debug for debug info print