Failed to solve the following constraints:
  _11 = suc _11 : Nat (blocked on _11)
Unsolved metas at the following locations:
  StronglyRigidOccurrence.agda:13,25-26
  StronglyRigidOccurrence.agda:14,8-12
