1769     int v, u, Cof2[2], Cof4[4];  in If_CluCheckDecInAny()  local
1776             Cof4[0] = Abc_Tt6Cofactor0( Cof2[0], u );  in If_CluCheckDecInAny()
1777             Cof4[1] = Abc_Tt6Cofactor1( Cof2[0], u );  in If_CluCheckDecInAny()
1778             Cof4[2] = Abc_Tt6Cofactor0( Cof2[1], u );  in If_CluCheckDecInAny()
1779             Cof4[3] = Abc_Tt6Cofactor1( Cof2[1], u );  in If_CluCheckDecInAny()
1780             if ( Cof4[0] == Cof4[1] && Cof4[0] == Cof4[2] )  in If_CluCheckDecInAny()
1782             if ( Cof4[0] == Cof4[2] && Cof4[0] == Cof4[3] )  in If_CluCheckDecInAny()
1784             if ( Cof4[0] == Cof4[1] && Cof4[0] == Cof4[3] )  in If_CluCheckDecInAny()
1786             if ( Cof4[1] == Cof4[2] && Cof4[1] == Cof4[3] )  in If_CluCheckDecInAny()
1794     int v, u, Cof2[2], Cof4[4];  in If_CluCheckDecIn()  local
1802             Cof4[0] = Abc_Tt6Cofactor0( Cof2[0], u );  in If_CluCheckDecIn()
1803             Cof4[1] = Abc_Tt6Cofactor1( Cof2[0], u );  in If_CluCheckDecIn()
1804             Cof4[2] = Abc_Tt6Cofactor0( Cof2[1], u );  in If_CluCheckDecIn()
1805             Cof4[3] = Abc_Tt6Cofactor1( Cof2[1], u );  in If_CluCheckDecIn()
1806             if ( Cof4[0] == Cof4[1] && Cof4[0] == Cof4[2] )  in If_CluCheckDecIn()
1808             if ( Cof4[0] == Cof4[2] && Cof4[0] == Cof4[3] )  in If_CluCheckDecIn()
1810             if ( Cof4[0] == Cof4[1] && Cof4[0] == Cof4[3] )  in If_CluCheckDecIn()
1812             if ( Cof4[1] == Cof4[2] && Cof4[1] == Cof4[3] )  in If_CluCheckDecIn()
1820     int v, u, Cof2[2], Cof4[4];  in If_CluCheckDecInU()  local
1828             Cof4[0] = Abc_Tt6Cofactor0( Cof2[0], u ); // 00  in If_CluCheckDecInU()
1829             Cof4[1] = Abc_Tt6Cofactor1( Cof2[0], u ); // 01  in If_CluCheckDecInU()
1830             Cof4[2] = Abc_Tt6Cofactor0( Cof2[1], u ); // 10  in If_CluCheckDecInU()
1831             Cof4[3] = Abc_Tt6Cofactor1( Cof2[1], u ); // 11   in If_CluCheckDecInU()
1832             if ( Cof4[0] == Cof4[1] && Cof4[0] == Cof4[2] ) //  F * a  in If_CluCheckDecInU()
1834             if ( Cof4[0] == Cof4[2] && Cof4[0] == Cof4[3] ) // !F * a  in If_CluCheckDecInU()