A plugin that identifies and reports on uses of recursion. The name evokes a language pragma – implying a Recursion pragma that is enabled by default.