Introduces a definition where the defined predicate does not capture all free variables of the body.
This forces the body `p(X)` to be constant for all `X`, illegally strengthening `p(a)` to imply `p(b)`.
The verifier only checks if the head symbol is fresh, failing to enforce conservative extension rules for variables.
