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