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