let descr = "does not use abstract interpretation"