Work-in-progress debug SMT check