/** Discard all context sensitive tuples which are covered by insensitive ones */ @Override public void drop_duplicates() { for (Iterator<AllocNode> it = pt_objs.keySet().iterator(); it.hasNext(); ) { HeapInsIntervalManager im = pt_objs.get(it.next()); im.remove_useless_intervals(); } }