review.blissroms.org / platform_art / bc1d78daa463572c5a770cdca858a3b51d8e1b7b / test / 524-boolean-simplifier-regression