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