gerrit.witaqua.org / art / ffffa9c4e18e233db7b0f5eb31d07d8a52d527e4 / test / 524-boolean-simplifier-regression