\# Postcondition: work_dir exists, non empty
\# If it did not exist, it is seeded from original_dir