fix(javascript): retain conditional mutation ordering uncertainty

src/domain/javascript/javascriptSemanticAnalysis.reference_lifetimes.test.ts

@@ -72,6 +72,8 @@ describe("reference lifetimes across calls and shallow copies", () => {
     "mutate(alias); alias={};",
     "if(flag) alias={}; mutate(alias);",
     "alias={}; if(flag) mutate(alias);",
+    "alias={}; flag && mutate(alias);",
+    "alias={}; flag ? mutate(alias) : noop();",
     "function invoke(){mutate(alias);} alias={}; invoke();",
     "alias={}; mutate(alias); alias=source;",
   ])("retains uncertain call ordering: %s", (body) => {

src/domain/javascript/javascriptSemanticMutationInitializers.ts

@@ -94,19 +94,25 @@ const directMutationPosition = (
     !t.isTaggedTemplateExpression(node)
   )
     return null;
-  let current = parents.get(node);
+  let current: t.Node = node;
-  while (current !== undefined) {
+  while (true) {
-    if (t.isFunction(current)) return null;
+    const parent = parents.get(current);
-    if (t.isStatement(current)) return statementPosition(current, parents);
+    if (
-    if (t.isVariableDeclarator(current)) {
+      parent === undefined ||
-      const declaration = parents.get(current);
+      t.isFunction(parent) ||
+      (t.isLogicalExpression(parent) && parent.right === current) ||
+      (t.isConditionalExpression(parent) && parent.test !== current)
+    )
+      return null;
+    if (t.isStatement(parent)) return statementPosition(parent, parents);
+    if (t.isVariableDeclarator(parent)) {
+      const declaration = parents.get(parent);
       return t.isVariableDeclaration(declaration)
-        ? statementPosition(declaration, parents, current)
+        ? statementPosition(declaration, parents, parent)
         : null;
     }
-    current = parents.get(current);
+    current = parent;
   }
-  return null;
 };
 
 const referenceInitializerPosition = (