Add a test for constant gate propagation due to complement basic events.