gpm:integerArithmetic
initialLevel:1
A + B;A < B;B < 20;
A + B;A < B+5;B < 30;
A + B;-5 < A < B+5;20 < B < 30;
A + B;-100 < A < B;100 < B < 300;