Source-source transformation to setup normalize for WhileDo and DoWhile
Invoke the new isDefinedAllPaths methods
Update copyPropagation to dispatch on virtual methods