readOnly

Provides the Expression's value directly, and 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 (2 * b + c).readOnly

will be treated as

a eq (2 * 10 + 11)

if b == 10 and c == 11