Issue1384.agda:18,3-41
Incomplete pattern matching for test. Missing cases:
  test I
  test (App false false .false refl (App a b .false x x₁ x₂) x₃)
when checking the definition of test
Issue1384.agda:29,3-41
Incomplete pattern matching for test. Missing cases:
  test I
  test (App false false .false (App a b .false x x₁ x₂) x₃ refl)
when checking the definition of test
