Agda.Termination.Inlining

inlineWithClauses

isWithFunction

expandWithFunctionCall