@Override public void do_after_propagation(){
  for (  HeapInsIntervalManager im : new_pts.values()) {
    im.flush();
  }
  new_pts=new HashMap<AllocNode,HeapInsIntervalManager>();
}

@ Override public void do_after_propagation ( ) { for ( HeapInsIntervalManager im : new_pts . values ( ) ) { im . flush ( ) ; } new_pts = new HashMap < AllocNode , HeapInsIntervalManager > ( ) ; }
remember to clean the is_new flag
