real a: 0,0; 1,1; 2,3; 3,1; 4,5; 5,4;      7,6; 9,4; 10,5; 11,5;
real b:      1,0; 2,1; 3,3; 4,5; 5,4; 6,2; 7,6; 9,4; 10,5; 12,8;
real c:      1,0; 2,1; 3,3; 4,5; 5,4; 6,2; 7,6; 9,4; 10,5; 12,8;

bool aLessFive: [0,4) true; [4,5) false; [5,7) true; [7,9) false; [9,10) true; [10,11] false;
bool aLessEqualFive: [0,7) true; [7,9) false; [9,11] true;
bool aGreaterFive: [0,7) false; [7,9) true; [9,11] false;
bool aGreaterEqualFive: [0,4) false; [4,5) true; [5,7) false; [7,9) true; [9,10) false; [10,11] true;
bool aEqualsFive: [0,4) false; [4,5) true; [5,10) false; [10,11] true;

bool aEqualsB: [1,4) false; [4,6) true; [6,7) false; [7,11] true;

bool bEqualsB: [1.0,12.0] true;
