(Clone Detection) Catch SMT solver exceptions
(Clone Detection) Clear outputs after each test