Updated docs in canseethreadspecification
test file for specification CanSeeThread