readonly

Provides the Expression's value, but does not treat its contents as variables when used in a Constraint. This means the Expression's variables won't be altered to try and satisfy the constraint.

a eq readonly(2 * b + c)

will be treated as

a eq (2 * 10 + 11)

if b == 10 and c == 11