Agda.Interaction.MakeCase
data CaseContext
findClause
parseVariables
makeCase
makeAbsurdClause
makeAbstractClause
deBruijnIndex