How to use CDBA for Symbolic Debugging