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