Agda-2.3.2.2: test/fail/NonLinearConstraint.err

Unsolved metas at the following locations:
  NonLinearConstraint.agda:7,16-17
  NonLinearConstraint.agda:9,10-14