slowly introducing full Python3 syntax: here two exceptions
verbose enables the pretty-printing of the whole shrink history