View:	Hide Browser | Browser on the left | Browser on the right | Dictionary
Report:	General Info

---

constraint_model
Constraint unnamed1

General Info
Name	unnamed1
Expression	pre: a_value <> Void
Base Classes	Operation