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