How to migrate encapsulated assertions using the GMU