Tutorial 04: Defining preconditions and constraints

Description
Model & Generated code