Better output handling by verbose, global verbose for problemDef