Reworked arguments and phi nodes pointer kind