setCq -> setCQ
fix TBox saturation test cases
code cleaning