SPIR-V spec says that operands of OpBitcast shouldn't necessarily have the same number of components. The only constraint is that they must have the same number of bits. Consider improving TransformationEquationInstruction to support this use-case.