From 44f1c8b26bfefb56e202af281cbc76a9a1d834f8 Mon Sep 17 00:00:00 2001
From: nebula-bots <88429921+nebula-bots@users.noreply.github.com>
Date: Sat, 15 Apr 2023 13:36:50 +0800
Subject: [PATCH] stop the pushing down of not expressions that are not
 rewritten to proper forms. (#2630)

Co-authored-by: Cheng Xuntao <7731943+xtcyclist@users.noreply.github.com>