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