anchor.diff:              deleteStmt
               insertStmt
               updateStmt
  -            %% +.selectStmtWithoutCTE -|>
  +            %% +.selectStmtPendingCTE -|>
                   fun select withClause -> select withClause |> SelectStmt
           ]
       -|> (|>)
  
positive.code:                 -- ws
                  --
                      +.[
                          %% +.selectStmt -|> InSelect
                          %% +.(qty.[0..] / tws ',' * expr) -|> (fun exs -> exs.ToArray() |> InExpressions)
                      ]
                  -- ')'
  
negative.code:         }
  
  do
      selectStmtWithoutCTEImpl := selectStmtPendingCTE |>> ((|>) None)
      selectStmtImpl :=
          %% +.(zeroOrOne * withClause)
          -? +.selectStmtPendingCTE
          -|> (|>)
  
  let private foreignKeyRule =
  