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