Asserts that instances of a particular model class have a set of constraints described by the value.e.g. `(behavior-constraint-description rechargeable-battery
,(list (dme::make-behavior-constraint-descriptor
:Name constraint-name
:Constraint-Expression constraint
:Description behavior-constraint-description)))
(Behavior-Model ?Model-Class)