let descr = "display operational inputs, an over-approximation of the set of locations whose initial value is used; and the sure outputs, which are undocumented"