anchor.diff:      | _ -> 
           expr
   
  -
   //-------------------------------------------------------------------------
   // ExpandStructuralBinding
   //
  
positive.code:          | _ -> None
       | _ -> None
  
  // Helper to evaluate a unary signed integer operation over known values
  let inline SignedIntegerUnaryOp g f8 f16 f32 f64 a = 
       match a with
       | StripConstValue(c) -> 
  
negative.code: /// Optimize/analyze a target of a decision tree
  and OptimizeDecisionTreeTarget cenv env _m (TTarget(vs, expr, spTarget)) = 
      let env = BindInternalValsToUnknown cenv vs env 
      let exprR, einfo = OptimizeExpr cenv env expr 
      let exprR, einfo = ConsiderSplitToMethod cenv.settings.abstractBigTargets cenv.settings.bigTargetSize cenv env (exprR, einfo) 
      let evalueR = AbstractExprInfoByVars (vs, []) einfo.Info 
      TTarget(vs, exprR, spTarget), 
      { TotalSize=einfo.TotalSize 
        FunctionSize=einfo.FunctionSize
        HasEffect=einfo.HasEffect
        MightMakeCriticalTailcall = einfo.MightMakeCriticalTailcall 
        Info=evalueR }
  
  /// Optimize/analyze a decision tree
  and OptimizeDecisionTree cenv env m x =
      match x with 
      | TDSuccess (es, n) -> 
          let esR, einfos = OptimizeExprsThenConsiderSplits cenv env es 
          TDSuccess(esR, n), CombineValueInfosUnknown einfos
      | TDBind(bind, rest) -> 
          let (bind, binfo), envinner = OptimizeBinding cenv false env bind 
          let rest, rinfo = OptimizeDecisionTree cenv envinner m rest 
  