-
Kirchmayr authored
Added checks for functional patterns, checking whether the function is global and doesn't depend on itself, see #554.
7a515d5f
Added checks for functional patterns, checking whether the function is global and doesn't depend on itself, see #554.