Fixed the test to work with -implicit-check-not.