bool p: [0,3.5) false; [3.5,4) true; [4,12) false;  
implicant in: [7.7,7.7] ;
implicant out: [3.7,3.7] ;
bound [2,4] ;


