May be a question here? Can WebAssembly format hold Static Single Assignment (SSA) based representation? Does it have `opcode` for the Phi function?