let
descr =
"use specified abstract domain (box, oct or poly)"