CF producing wrong answer for min/max( N, N + ( -1))

Bugzilla Link	1088
Created on	Sep 26, 2013 19:38
Resolution	FIXED
Resolved on	Sep 26, 2013 20:55
Version	svn
OS	Linux
Architecture	PC
Attachments	crud2.sac

Extended Description

Created an attachment (id=986)
source code to reproduce fault
The CF function isVal1IsSumOfVal2 was failing to check the sign
of the "constant" argument to the addition when evaluating the
composition min( N, N + constant).
This led me on a merry chase through many dark alleys.