about Eclipse 5.4 #27

Hello, 
 
I am just using the new version of 5.4 #27, for my program if in 5.3 #47
it is no problem, but for this new version 
I found something strange, see below:
 
 
.
 
undefined arithmetic expression in _463997 is [](15, 15, 15, 15, 15, 15,
15, 15,
 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15)
in modu
le ic_constraints
undefined arithmetic expression in _464876 is [](15, 15, 15, 15, 15, 15,
15, 15,
 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15)
in modu
le ic_constraints
undefined arithmetic expression in _465685 is [](15, 15, 15, 15, 15, 15,
15, 15,
 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15, 15)
in modu
le ic_constraints
[M.., 26]
 
interruption: type a, b, c, e, or h for help : ? invalid option
 
even I couldn't stop it by abort.
 
 
What is the wrong ? 
 
Best Regards,
 
---Deze
 
PL, I just use the constraint in ic such as Exp1 *>= Exp2 for the
real/integer number expression, it is ok?