Missing incoming BBs in the PHI instruction