// the last segment 4,7] is Right Closed, so the assert is Valid signal is not verified.
bool a: [0,4] true; (4,7] false;
bool b: [0,4) false; [4,7] true;

bool inputAUntilB: [0,4) true; [4,7] false; 