Z3 prints so many warnings that the very informative abnormal termination exception hardly ever gets raised -- better be more aggressive here

 This directory contains some administrative tools for the Isabelle

 repository at TUM.  They do not appear in proper distributions.