Added constraints using Visual Format Language