Yet another fault in the sqlite3ExprImpliesNotNull() routine, causing errors
in the LEFT JOIN strength reduction optimization of check-in
[dd568c27b1d76563].

FossilOrigin-Name: e88cf3d4df64097ebc19aae464b88d0faf9b7d4c30d057042b582d78327e7ad3
diff --git a/src/expr.c b/src/expr.c
index c09c0c5..bb26b3d 100644
--- a/src/expr.c
+++ b/src/expr.c
@@ -5013,6 +5013,7 @@
     case TK_IS:
     case TK_OR:
     case TK_CASE:
+    case TK_IN:
     case TK_FUNCTION:
     case TK_AGG_FUNCTION:
       return WRC_Prune;