anchor.diff:          }
   
   do
  +    selectStmtWithoutCTEImpl := selectStmtPendingCTE |>> ((|>) None)
       selectStmtImpl :=
           %% +.(zeroOrOne * withClause)
  -        -? +.selectStmtWithoutCTE
  +        -? +.selectStmtPendingCTE
           -|> (|>)
   
   let private foreignKeyRule =
  
positive.code:     -- kw "AS"
      -- '('
      -- ws
      -- +.selectStmt
      -- ')'
      -- ws
      -|> fun table cols asSelect ->
  
negative.code: let private term (expr : Parser<Expr<unit, unit>, unit>) =
      let parenthesized =
          %[
              %% +.selectStmtWithoutCTE -|> ScalarSubqueryExpr
              %% +.expr -|> fun e -> e.Value
          ]
      %% +.sourcePosition
      -- +.[
              %% '(' -- ws -- +.parenthesized -- ')' -|> id
              %% kw "EXISTS" -- ws -- '(' -- ws -- +.selectStmtWithoutCTE -- ')' -|> ExistsExpr
              %% +.literal -|> LiteralExpr
              %% +.bindParameter -|> BindParameterExpr
              %% +.cast expr -|> CastExpr
  