Missing opportunity for redundant set elimination

When variable used in basic block it could be also eliminated.
Simple example:

export function test(x: i32, y: i32): i32 {
  x = y;
  if (x) return x; // With "return y" RSE works as expected 
  return 0;
}

Current output:

(func $test (param $0 i32) (param $1 i32) (result i32)
  local.get $1
  local.tee $0
  if
   local.get $0
   return
  end
  i32.const 0
 )

expected output:

(func $test (param $0 i32) (param $1 i32) (result i32)
  local.get $1
  if
   local.get $1
   return
  end
  i32.const 0
 )

Begin by reproducing the shown function and inspecting Binaryen's redundant set elimination (RSE) handling for assignments used in the same basic block. Confirm that generated WebAssembly changes from local.tee/local.get to the expected direct parameter use, then locate the relevant optimizer regression coverage and verify the expected output.