ExactSplitBerry.agda:9,1-10,21
Exact splitting is enabled, but the following clauses could not be
preserved as definitional equalities in the translation to a case
tree:
  maj x true false = x
  maj false y true = y
when checking the definition of maj
