> res = res and tree_eq(ac, bc) The aggregation is actually not necessary, as we shourtcircuit the and'ing of the node comparisions. -- Regards, Diez B. Roggisch