In the original implementation, a mutable reference of difference trees/difference strings was used as a convenience. In order to make use of multicore support, and for generalizations, these should be removed.