Unsolved metas at the following locations: StronglyRigidOccurrence.agda:13,25-26 StronglyRigidOccurrence.agda:14,8-12