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