Refactor ScopeLinker
Cosmetic change
Add a test for ReferenceReachabilityTester
Implement ReferenceReachabilityTester