Marginally reduce stupidity of the new BDD quickSimplify masking
simplifications.