Improvements to sqlite3ExprImpliesExpr() so that it recognizes that expressions like...

FossilOrigin-Name: eb5ac9e5b9a4f9c85a2203107697da14c07c1667037dff672f9d786cea964a37

diff --cc manifest
index 2c47dca7a742c4cb6c0393387957ff6e10a78bb9,08329b81dcb4e44254b7b81dff682804f17e1dbb..6acd2d5b1169ae85758f7242286789924614b471
--- 1/manifest
--- 2/manifest
+++ b/manifest
@@@ -1,5 -1,5 +1,5 @@@
- C Fix\san\sinaccuracy\sin\sthe\sdocumentation\sin\sfts5.h.
- D 2024-11-27T18:01:25.186
 -C Simplification\sto\sthe\sfix\sin\sthe\sprior\scheck-in.
 -D 2024-11-28T02:09:27.502
++C Improvements\sto\ssqlite3ExprImpliesExpr()\sso\sthat\sit\srecognizes\sthat\sexpressions\slike\s"iif(X,Y)"\sand\s"CASE\sWHEN\sX\sTHEN\sY\sEND"\simply\sX.
++D 2024-11-28T11:52:18.714
  F .fossil-settings/empty-dirs dbb81e8fc0401ac46a1491ab34a7f2c7c0452f2f06b54ebb845d024ca8283ef1
  F .fossil-settings/ignore-glob 35175cdfcf539b2318cb04a9901442804be81cd677d8b889fcc9149c21f239ea
  F LICENSE.md e108e1e69ae8e8a59e93c455654b8ac9356a11720d3345df2a4743e9590fb20d
@@@ -2201,8 -2201,8 +2201,9 @@@ F tool/version-info.c 3b36468a90faf1bbd
  F tool/warnings-clang.sh bbf6a1e685e534c92ec2bfba5b1745f34fb6f0bc2a362850723a9ee87c1b31a7
  F tool/warnings.sh 49a486c5069de041aedcbde4de178293e0463ae9918ecad7539eedf0ec77a139
  F tool/win/sqlite.vsix deb315d026cc8400325c5863eef847784a219a2f
- P 1e405c39a8405e2081ce061559d1aacc70055fc74ab86d886b973076a3fb124b
- R 306a37bedf7a72c95bbfd16141af1dca
- U dan
- Z 0f8994542e0c6b090d32b7bcc99e7877
 -P df95d5209a77c0302e08ea7b1f248646fb2a062ba5beca898678aee0a1d03a3a
++P ec3ca6f17972a9624018ae352e5a4be8dc34602a4569c80e827e09cd7fbed7f7 f79cb748c9447ca4d2184a24219feb19571eb79870e0bedf14704743a3d5f8b9
+ R 2a463ba8c7e54a6e85c2163c1e1ce03b
++T +closed f79cb748c9447ca4d2184a24219feb19571eb79870e0bedf14704743a3d5f8b9
+ U drh
 -Z 5b8128e8d052469f340725fed84274b9
++Z d7886908d3bdbdc117a1626da09a8266
  # Remove this line to create a well-formed Fossil manifest.

diff --cc manifest.uuid
index 2abc82dd8354bcbb67cf81f5f76a5eda05a0b84f,d656caede7173ac720f18f2013b1a6872ce550e8..2b2172d181da15dfdf323fa697dd1bf15dcf40b7
--- 1/manifest.uuid
--- 2/manifest.uuid
+++ b/manifest.uuid
@@@ -1,1 -1,1 +1,1 @@@
- ec3ca6f17972a9624018ae352e5a4be8dc34602a4569c80e827e09cd7fbed7f7
 -f79cb748c9447ca4d2184a24219feb19571eb79870e0bedf14704743a3d5f8b9
++eb5ac9e5b9a4f9c85a2203107697da14c07c1667037dff672f9d786cea964a37