Unsolved metas at the following locations:
  NotStronglyRigidOccurrence.agda:14,16-17
  NotStronglyRigidOccurrence.agda:16,12-16