// always[1,2]
bool a: [0,1) true; [1,3) false; [3,4] true; (4,5) false; [5,6] true; (6,7] false; (7,8) true; [8,9) false; [9,10) true; [10,11] false; (11,12) true;



//bool inputAlwaysLC12RCA: [0,2) false; [2,2] true; (2,4) false; [4,4] true; (4,12) false;
// correction  19/12/2015 olivier
// correction validated 2016 04 18
// bool inputAlwaysLC12RCA: [0,2) false; [2,2] true; (2,4) false; [4,4] true; (4,10] false; (10,12) true;
// correction 20190724 domainOut  [0.0,11.0-] 
bool inputAlwaysLC12RCA: [0,2) false; [2,2] true; (2,4) false; [4,4] true; (4,10] false; (10,11) true;


// bool inputAlwaysLC12ROA: [0,2) false; [2,2] true; (2,4) false; [4,4] true; (4,8) false; [8,8] true; (8,12) false;
// correction  19/12/2015 olivier
// correction validated 2016 04 18
// bool inputAlwaysLC12ROA: [0,2) false; [2,2] true; (2,4) false; [4,4] true; (4,8) false; [8,8] true; (8,10] false; (10,12) true;
// correction 20190724 domainOut  [0.0,11.0-] 
bool inputAlwaysLC12ROA: [0,2) false; [2,2] true; (2,4) false; [4,4] true; (4,8) false; [8,8] true; (8,10] false; (10,11) true;

// bool inputAlwaysLO12RCA: [0,2) false; [2,2] true; (2,4) false; [4,4] true; (4,12) false;
// correction  19/12/2015 olivier
// correction validated 2016 04 18
// bool inputAlwaysLO12RCA: [0,2) false; [2,2] true; (2,4) false; [4,4] true; (4,10) false; [10,12) true;
// correction 20190724 domainOut  [0.0,11.0-] 
bool inputAlwaysLO12RCA: [0,2) false; [2,2] true; (2,4) false; [4,4] true; (4,10) false; [10,11) true;

// bool inputAlwaysLO12ROA: [0,2) false; [2,2] true; (2,4) false; [4,4] true; (4,6) false; [6,6] true; (6,8) false; [8,8] true; (8,12) false;
// bool inputAlwaysLO12ROA: [0,2) false; [2,2] true; (2,4) false; [4,4] true; (4,6) false; [6,6] true; (6,8) false; [8,8] true; (8,10) false; [10,10] true; (10,12) false;
// correction  19/12/2015 olivier
// correction validated 2016 04 18
// bool inputAlwaysLO12ROA: [0,2) false; [2,2] true; (2,4) false; [4,4] true; (4,6) false; [6,6] true; (6,8) false; [8,8] true; (8,10) false; [10,12) true;
// correction 20190724 domainOut  [0.0,11.0-] 
bool inputAlwaysLO12ROA: [0,2) false; [2,2] true; (2,4) false; [4,4] true; (4,6) false; [6,6] true; (6,8) false; [8,8] true; (8,10) false; [10,11) true;
