- fix wrong verify warnings about phi nodes using values before they are defined