Agda.TypeChecking.InstanceArguments
initialIFSCandidates
initializeIFSMeta
findInScope
findInScope'
rigidlyConstrainedMetas
isRigid
areThereNonRigidMetaArguments
filterResetingState
dropSameCandidates
checkCandidates
applyDroppingParameters