gpm:integerArithmetic
A + B;A < 20 - B;B < 10;
A + B;A < 30 - B;B < 15;
A + B;10 < A < 40;20 < B < 50;
A + B;-100 < A < B;100 < B < 300;