let rewrite_pointer_compare file = let visitor = new rewritePointerCompare in visitFramacFile visitor file