Removed reachableSet caching. It is buggy and does not work.