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