Use Workspace::copy_WS when loading an input file