Regression test on pattern that caused double removal of AND by ARM64 simplifier.