SMT Debugged/Tested