review.blissroms.org / platform_art / dd4cbcc924c8ba2a578914a4a366996693bdcd74 / test / 524-boolean-simplifier-regression / src / Main.java