Agda.Termination.Termination
terminates
tests