gerrit-public.fairphone.software / platform / art / 5a290d7f6126a432a59a9d3c774404f56c95a0b7 / test / 524-boolean-simplifier-regression