let help = "do not stop value analysis even if it is degenerating"