Failed to solve the following constraints:
  _5 := λ A → refl [blocked on problem 7]
  [7, 11] _1 A A = A : Set
Unsolved metas at the following locations:
  NonLinearConstraint.agda:7,16-17
  NonLinearConstraint.agda:9,10-14
