let
descr =
"does not use abstract interpretation"