Better output handling by verbose, global verbose for problemDef
Verbose bugfix