Adding some more negation simplifications.
Authored by: nerius 2023-04-10
Parent: [r383]
Child: [r385]