Make sure that PHI node operands are first class types