Completed ConvertLocalToField. Further testing required.
InlineLocal: check if the assignments to local variables are removed!
GenerateIDs keep the old src as annotation
InlineLocal: Keep a map of the replacements ids
Collect fields and methods for warning, and finish the check of edge
preservation from original to refactored
Fixed wrong condition at remove synchronization edges with the same id
Added the for to pretty print