gpm:integerArithmetic
A + B;A < 20 - B;B < 10#A - B;0 < B < A;10 < A < 20;