If STAT4 determines that a WHERE clause term that is not used by an index

has very high probability of being true, then do not use that term to reduce
the estimated output row count.

FossilOrigin-Name: 40739c793b0e98a3bae296d3a1f74944edcdd4cc33c26b417fde4eaf6f14d062

diff --cc manifest
index f338ba88f89c9dce30833e64de0e7ec2b3a0eefb,ac8c74c984df733eb1ef70741ac30a4d16d37428..bff710da8f3b7a449dfb355a0c6a015298fbc0d2
--- 1/manifest
--- 2/manifest
+++ b/manifest
@@@ -1,5 -1,5 +1,5 @@@
- C Fix\sa\sproblem\swith\sALTER\sTABLE\sfor\sviews\sthat\shave\sa\snested\sFROM\sclause.\nTicket\s[f50af3e8a565776b].
- D 2020-02-23T17:34:45.938
 -C Rework\sthis\schanges\sso\sthat\sinstead\sof\ssetting\sthe\sWhereTerm.truthProb\swhen\na\sterm\sis\sseen\sto\sbe\sof\slow\sselectivity,\sit\smerely\ssets\sa\snew\sflag\n(the\sTERM_HIGHTRUTH\sflag)\swhich\scauses\swhereLoopOutputAdjust()\sto\signore\nthat\sterm.
 -D 2020-02-24T16:46:08.182
++C If\sSTAT4\sdetermines\sthat\sa\sWHERE\sclause\sterm\sthat\sis\snot\sused\sby\san\sindex\nhas\svery\shigh\sprobability\sof\sbeing\strue,\sthen\sdo\snot\suse\sthat\sterm\sto\sreduce\nthe\sestimated\soutput\srow\scount.
++D 2020-02-24T17:05:09.915
  F .fossil-settings/empty-dirs dbb81e8fc0401ac46a1491ab34a7f2c7c0452f2f06b54ebb845d024ca8283ef1
  F .fossil-settings/ignore-glob 35175cdfcf539b2318cb04a9901442804be81cd677d8b889fcc9149c21f239ea
  F LICENSE.md df5091916dbb40e6e9686186587125e1b2ff51f022cc334e886c19a0e9982724
@@@ -1858,7 -1859,7 +1859,8 @@@ F vsixtest/vsixtest.tcl 6a9a6ab600c25a9
  F vsixtest/vsixtest.vcxproj.data 2ed517e100c66dc455b492e1a33350c1b20fbcdc
  F vsixtest/vsixtest.vcxproj.filters 37e51ffedcdb064aad6ff33b6148725226cd608e
  F vsixtest/vsixtest_TemporaryKey.pfx e5b1b036facdb453873e7084e1cae9102ccc67a0
- P f02030b3403d67734bba471a91ad5bfdb03ddf6fdc3ef14808a04495e43b0470
- R 27f30806e168cf65f551539c0795adeb
 -P 4a9d3005769e0398183b03a3e132e3946b9d1c48073af2e0559d7beeac3245c0
++P c431b3fd8fd0f6a6974bba3e9366b0430ec003d570e7ce70ceefbcff5fe4b6fa 4558163b6a525990f0f1b6629dbb76daf49bcaf1ddbaf0c50fe05ce9ee480ff8
+ R 2f59a601b560c09f0f628a3935395fd4
++T +closed 4558163b6a525990f0f1b6629dbb76daf49bcaf1ddbaf0c50fe05ce9ee480ff8
  U drh
- Z b1d396f928d83f91cde5e969c202f590
 -Z 144378d74bf58f80a9e1ca77433de7e1
++Z 88585aca481f88c3f165f1a6e9b07ffb

diff --cc manifest.uuid
index fc3a50b7945fee9e1ced2c2ab56b7782d9fbfbcd,0f1166a39fe10b9285e11c459972bfabb10e4991..a0c4891c50a0505af6eb7aff0e3d05749aa7897d
--- 1/manifest.uuid
--- 2/manifest.uuid
+++ b/manifest.uuid
@@@ -1,1 -1,1 +1,1 @@@
- c431b3fd8fd0f6a6974bba3e9366b0430ec003d570e7ce70ceefbcff5fe4b6fa
 -4558163b6a525990f0f1b6629dbb76daf49bcaf1ddbaf0c50fe05ce9ee480ff8
++40739c793b0e98a3bae296d3a1f74944edcdd4cc33c26b417fde4eaf6f14d062