anchor.diff:              if not (typeEquiv cenv.g cenv.g.bool_ty ty) then 
                   warning (UnitTypeExpected (denv, ty, m)) 
               else
  -                warning (ReportImplicitlyIgnoredBoolExpression denv m ty exprOpt)
  +                warning (ReportImplicitlyIgnoredBoolExpression denv m ty expr)
           false
   
   //-------------------------------------------------------------------------
  
positive.code:         | None ->    error (FunctionExpected(denv, ty, mFunExpr))
  
  let ReportImplicitlyIgnoredBoolExpression denv m ty expr =
      let checkExpr m exprOpt =
          match exprOpt with 
          | Expr.App(Expr.Val(vf, _, _), _, _, exprs, _) when vf.LogicalName = opNameEquals ->
              match exprs with 
              | Expr.App(Expr.Val(propRef, _, _), _, _, Expr.Val(vf, _, _) :: _, _) :: _ ->
  
negative.code:         | _ -> UnitTypeExpected (denv, ty, m)
  
      match expr with 
      | Expr.Let(_, Expr.Sequential(_, inner, _, _, _), _, _)
      | Expr.Sequential(_, inner, _, _, _) ->
          let rec extractNext expr =
              match expr with
              | Expr.Sequential(_, inner, _, _, _) -> extractNext inner
              | _ -> checkExpr expr.Range expr
          extractNext inner
      | expr -> checkExpr m expr
  
  let UnifyUnitType cenv denv m ty expr =
      if AddCxTypeEqualsTypeUndoIfFailed denv cenv.css m ty cenv.g.unit_ty then 
          true
      else
  