Agda.TypeChecking.Monad.Base.KillRange
KillRange on CompiledClause
KillRange on standard data types and Utils
killRangeMap