Hi, good question; in principle the UUIDs for the processes are the same in different versions, but the migration requires some more details to work perfectly. We plan to prepare a script for the version 3.8 to help migrating from 3.7/3.7.1.
For now, you can export only your foreground system as JSON-LD, and then import this into 3.7, select overwrite as option, and then check your model.
Best wishes