// always[1,oo)
bool a1: [0,3) false; [3,10) true;
bool a2: [0,3] false; (3,10) true;

// Always A1
bool inputAlwaysA1: [0,3) false; [3,10) true;

// Always A2 
bool inputAlwaysA2: [0,3) false; [3,10) true;

// Always[1,oo) A1
// bool inputAlwaysLC1ooA1: [0,2) false; [2,10) true;
// correction 20190724 domainOut  [0.0,9.0-] 
bool inputAlwaysLC1ooA1: [0,2) false; [2,9) true;

// Always[1,oo) A2
// bool inputAlwaysLC1ooA2: [0,2] false; (2,10) true;
// correction 20190724 domainOut  [0.0,9.0-] 
bool inputAlwaysLC1ooA2: [0,2] false; (2,9) true;

