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