CF failure: SCSprf_val_lt_val_SxS evaporates val_lt_val_SxS_( const, const) guard

Bugzilla Link	1127
Created on	Jul 23, 2014 21:22
Version	svn
OS	Linux
Architecture	PC

Extended Description

I just stumbled across this failure.
The offending code had been copy/pasted from the val_le_val_SxS code,
and I missed Case 2 now being rubbish. There is also at least two COlt calls
that are also rubbbish.
Fix to come over the weekend.
Failing code:
int[*] id(int[*] y)
{
  return( y);
}
int main()
{
  x = 0;
  y = id(1);
  y, p = _non_neg_val_S_( y);
  z, p = _val_lt_val_SxS_( x, y);
  return( z);
}