public bool Tinyield()
 {
     return(btA
            .GetLeavesQuery()
            .Zip(btB.GetLeavesQuery(), (t1, t2) => t1.CompareTo(t2) == 0)
            .AllMatch(TRUE.Equals));
 }