#1129 CIF type checker: improve range computation of min/max functions.
requested to merge 1129-cif-type-checker-make-min-max-functions-smarter-in-determining-int-result-type-ranges into develop
- Best to review per commit.
- Result of type checking a
min/maxfunction with integer arguments, is now has a rangedinttype if at least one argument has a range. Before, they both had to have a range.
Closes #1129 (closed)