let
help =
"Compute internal out. Those are an over-approximation of the set of written locations"