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