Added a sample of generated constraints from code