Fix bugs for Correctness on ComaratorTree