alter worklist algorithm as discussed to not handle PHI nodes special