This error indicates that there is a mismatch between the expected security levels of a variable and the actual one provided. This may happen if you use a public variable where a secret is expected, or vice versa.
For example, the code below erroneously declassifies the variable
x, which is not secret:
You can fix this issue by simply assigning