Reuse

This makes the reuse oracle usable in multi-threaded environments.