Write specs for PhiInsn.
Better instruction lookup.