anchor.diff:  
       | SynExpr.Sequential (sp,dir,e1,e2,m) ->
           if dir then 
  -            TcLinearExprs (TcExprThatCanBeCtorBody cenv) cenv env overallTy tpenv true (*consume use bindings*) expr (fun x -> x) 
  +            TcLinearExprs (TcExprThatCanBeCtorBody cenv) cenv env overallTy tpenv false expr (fun x -> x) 
           else 
               // Constructors using "new (...) = <ctor-expr> then <expr>" 
               let e1',tpenv = TcExprThatCanBeCtorBody cenv overallTy env tpenv e1
  
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
  