question: private void addDependentClassesToWorklist ( GVCongruenceClass c ) { for ( ValueGraphVertex v : c ) { for ( Enumeration < GraphNode > e = v . inNodes ( ) ; e . hasMoreElements ( ) ; ) { ValueGraphVertex in = ( ValueGraphVertex ) e . nextElement ( ) ; int vn = in . getValueNumber ( ) ; GVCongruenceClass x = B . get ( vn ) ; workList . push ( x ) ; } } }
target:  Assuming congruence class c has changed: find all other classes that might be affected, and add them to the worklist