SSP Constraints cannot be expressed in Drasil

[bmaclach]

Most of the constraints on input/output variables in SSP are more complicated then simply constraints on the range in which the value can lie, which seems to be the only type of constraint currently definable in Drasil.

The following screenshots show the constraints from the manual SSP SRS:

All of the constraints that are expressed in natural language in the manual version are not currently possible in Drasil. For the monotonicity constraint specifically, there has been some discussion in the past in issues #295, #453, but no solution has been decided upon yet.

[JacquesCarette]

There used to be a hack for monotonicity... but it was such a hack that it prevented other progress, so was removed. We'll need to re-add something for this.

[bmaclach]

Issues for the various "types" of constraints present here: #453, #1795, #1796, #1797, #1798, #1799, #1800.