CIF type checker: make min/max functions smarter in determining int result type ranges

For this model:

input int i;
alg int[0..1000] a = max(0, min(i, 1000));

We currently get a type error, since for the min and max functions the type checker determines the result type as int and that doesn't fit in the type of a. The type checker only determines int type lower/upper bounds if both arguments have type ranges. However, if just one of them has a range, like in this case, it could also determine a range.

I think that would be a practical change, to allow making a CIF int type into a ranged integer type. It relates to things being discussed in #1107 and #1109.

changed milestone to %v7.0

added CIF TypeEnhancement labels

assigned to @ddennis

created branch 1129-cif-type-checker-make-min-max-functions-smarter-in-determining-int-result-type-ranges to address this issue

mentioned in commit 2bc4fdce

mentioned in commit f495721c

mentioned in commit 7ef7ec77

mentioned in commit a4643399

mentioned in merge request !1217 (merged)

mentioned in commit 6ddd06c7

mentioned in commit 27d045a3

closed with merge request !1217 (merged)