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