gerrit-public.fairphone.software / platform / art / 549fceacf30a1f982ef797467aa0b17563d77f33 / test / 463-checker-boolean-simplifier / expected.txt