anchor.diff:          not (Zset.contains lambdaId env.dontInline) &&
           (// Check the number of argument groups is enough to saturate the lambdas of the target. 
            (if tyargs |> List.filter (fun t -> match t with TType_measure _ -> false | _ -> true) |> isNil then 0 else 1) + args.Length = arities &&
  -          (if verboseOptimizations then dprintn "Enough args"; 
  +          (// Enough args
              (if size > cenv.settings.lambdaInlineThreshold + args.Length then
  -              if verboseOptimizations then dprintf "Not inlining lambda near %a because size = %d\n" outputRange m size; 
  +              // Not inlining lambda near, size too big
                 false
               else true)))) ->
               
  
positive.code:                 // All indirect calls (calls to unknown functions) are assumed to be critical tailcalls 
                  true
  
          expr', { TotalSize=finfo.TotalSize + AddTotalSizes arginfos;
                   FunctionSize=finfo.FunctionSize + AddFunctionSizes arginfos;
                   HasEffect=true;
                   MightMakeCriticalTailcall = mayBeCriticalTailcall;
                   Info=ValueOfExpr expr' }
  
  //-------------------------------------------------------------------------
  
negative.code: 
  and OptimizeInterfaceImpls cenv env baseValOpt l = OptimizeList (OptimizeInterfaceImpl cenv env baseValOpt) l
  and OptimizeInterfaceImpl cenv env baseValOpt (ty,overrides) = 
      let overrides',overridesinfos = OptimizeMethods cenv env baseValOpt overrides
      (ty, overrides'), 
      { TotalSize = AddTotalSizes overridesinfos
        FunctionSize = 1
        HasEffect = false
        MightMakeCriticalTailcall=false
        Info=UnknownValue}
  
  //-------------------------------------------------------------------------
  