PruningNonMillerPatternFail.err

Unsolved metas at the following locations:
  PruningNonMillerPatternFail.agda:13,17-18
  PruningNonMillerPatternFail.agda:15,17-18
  PruningNonMillerPatternFail.agda:22,15-19
  PruningNonMillerPatternFail.agda:22,20-24
  PruningNonMillerPatternFail.agda:22,25-29