// implementation for abstract methods of ValueNumberingVisitor void kill_memory() { _map->kill_memory(); }