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

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