let
descr =
"use simple abstract interpretation"