CtrLog: Determining if Two Trees are Identical