Added allThreads map. Added childTid to SPAWN action. This is needed since rollback will involve deleting this thread.
Added support for distributed DFS