let
help =
"Print details about warnings for 'stronger' and 'degenerated' goals"