When using a function or variable named "invariant" inside of an invariant, an error is shown about the function/variable not being declared: <img width="776" height="218" alt="Image" src="https://github.com/user-attachments/assets/fad29a73-b44e-4bb7-bd99-a08eb8a798ed" />
When using a function or variable named "invariant" inside of an invariant, an error is shown about the function/variable not being declared: