let descr = "force external out display; this is an over-approximation of the set of written tsets excluding locals"