Converted request manager to ARC
Updated spec with new reachability routine