think about diff's running time differently,
to avoid using 'n' (size of the braun tree)