To guarantee the consistency of template DES and their instantiations, we want to make sure the two stay in synchronization. When a user modifies a template DES that has been instantiated, they can use "regenerate instantiation" to regenerate all instantiations for that template DES.