be more graceful when Z3 prints warnings before the 'sat'
don't halt on travis, just signal