Failed to solve the following constraints:
  assert (g (_12 (y = false)) false ≡ g true false) refl
  (_12 (y = false))
    = true
    : Bool
    (blocked on _12)
Unsolved metas at the following locations:
  Issue691.agda:21,11-12
  Issue691.agda:26,10-14
