Property access at the wrong time in pure mode

[hotsnr]

 function bad(v) {
        if (v == null) {
            return null;
        }
        var a = v.a,
            b = v.b;
        if (a == null || b == null) {
            return a && b;
        }
        return v;
    }

__optimize(bad);

leads to this output

(function () {
  var _$2 = this;

  var _0 = function (v) {
    var _$0 = v.a;             // <== v can be null which is handled in input
    var _$1 = v.b;             

    var _1 = v == null;

    if (!_1) {
      var _$0 = v.a;   
      var _$1 = v.b;

      var _5 = _$0 == null;

      var _7 = _$1 == null;

      var _4 = _5 || _7;

      if (!_4) {
        var _$0 = v.a;
        var _$1 = v.b;
      }
    }

    var _B = _$0 && _$1;

    var _A = _4 ? _B : v;

    var _9 = _1 ? null : _A;

    return _9;
  };

  _$2.bad = _0;
}).call(this);

[NTillmann]

Maybe the same root cause as #2133?

[hermanventer]

This is an instance of a known problem with composing two forked completions. I'm currently working on the general problem.