examples - Non-Literal Value Constraints - Syntax Encoding Scheme Constraint