WebAssembly: relooper analysis pass