Code refactoring into PointerAnalyzer and NameGenerator classes
Reworked arguments and phi nodes pointer kind