anchor.diff:                      (fun ty envinner tpenv e -> tcSequenceExprBody envinner ty tpenv e) 
                       cenv env overallTy 
                       tpenv 
  -                    false(* don't consume 'use' bindings*)
  +                    true
                       comp 
                       (fun x -> x)  |> Some
   
  
positive.code:         else 
              // TcLinearExprs processes multiple 'let' bindings in a tail recursive way
              let mkf,envinner,tpenv = TcLetBinding cenv isUse env ExprContainerInfo ExpressionBinding tpenv (binds,m,body.Range)
              let cont2 (x,tpenv) = cont (fst (mkf (x,overallTy)), tpenv)
              TcLinearExprs bodyChecker cenv envinner overallTy tpenv processUseBindings body cont2
      | _ -> 
          cont (bodyChecker overallTy env tpenv expr)
  
  
negative.code:                     (mkCoerceExpr(expr,genEnumTy,expr.Range,exprty))),tpenv
  
      | SynExpr.LetOrUse _ ->
          TcLinearExprs (TcExprThatCanBeCtorBody cenv) cenv env overallTy tpenv false expr (fun x -> x) 
  
      | SynExpr.TryWith (e1,_mTryToWith,clauses,mWithToLast,mTryToLast,spTry,spWith) ->
          let e1',tpenv = TcExpr cenv overallTy env tpenv e1
  