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