log uninterpreted variables, and halt if we're debugging