let globally_unique_sids f = let thisVisitor = new sidVisitor in visitCilFileSameGlobals thisVisitor f