for s, t being Tree holds not {} in Leaves (tree (t,s))