gerrit.witaqua.org / art / c178495c22b0ea5541e173dd2f319ccbf8b05dd5 / test / 524-boolean-simplifier-regression / src / Main.java