gerrit-public.fairphone.software / platform / art / 675e0a545b04a392a0026d7ce9c67222d717f7bc / test / 463-checker-boolean-simplifier / src-art