Agda.Termination.Inlining
inlineWithClauses
isWithFunction
expandWithFunctionCall