constraint checking example

3 files changed