1. 108ceb4 ART: Boolean simplifier fix by Serguei Katkov ยท 10 years ago