anchor.diff:  
       // Build an assignment into the safeThisValOpt mutable reference cell that holds recursive references to 'this' 
       // Build an assignment into the safeInitInfo mutable field that indicates that partial initialization is successful
  -    let rewriteContruction recdExpr = 
  +    let rewriteConstruction recdExpr = 
          match env.eCtorInfo with 
          | None -> recdExpr
          | Some ctorInfo -> 
  
positive.code:         match expr with 
          // <ctor-body> = { fields } 
          // The constructor ends in an object initialization expression - good 
          | Expr.Op(TOp.Recd(RecdExprIsObjInit,_),_,_,_) -> rewriteContruction expr
  
          // <ctor-body> = "a; <ctor-body>" 
          | Expr.Sequential(a,body,NormalSeq,spSeq,b)  -> Expr.Sequential(a,checkAndRewrite body,NormalSeq,spSeq,b) 
  
negative.code:             // The application had better be an application of a ctor 
              let f = checkAndRewriteCtorUsage f
              let expr = Expr.App(f,b,c,d,m)
              rewriteConstruction expr 
  
          | _ -> 
              error(expr)
  