fix: Fix || and && will not inherit branch status

[HerrCai0907]

⯈Fix #2359

• I've read the contributing guidelines
• I've added my name and email to the NOTICE file

[dcodeIO]

It's a little more complex than this I guess. For instance, if the LHS is always true, the parent flow would inherit the right flow unconditionally (not a branch), while if it is always false, the parent flow would not inherit the right flow since it doesn't execute.

[HerrCai0907]

Yes, inheritBranch is a little conservative. It can spilt with difference LHS/RHS ConditionKind

[HerrCai0907]

@dcodeIO It seems like a little bit complex. After this fix, It still have problem.

export function _start(): void {
  let a: string| null = "hhh"
  if (a && !(a = null)) {
    trace(a.length.toString())
  }
}

wasm://wasm/a4e78d1a:1

RuntimeError: memory access out of bounds
at wasm://wasm/a4e78d1a:wasm-function[2]:0x18c
at wasm://wasm/a4e78d1a:wasm-function[58]:0x14df
at file:///home/ccc/Desktop/demo/as/tests/index.js:3:1