Moving synchronize-logic from ReuseOracle to ReuseTree