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