Reducing Context-bounded Concurrent Reachability to Sequential Reachability