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