Agda.Syntax.Internal.SanityCheck
sanityCheckVars
sanityCheckSubst