Migrate code from Kermeta2 to K3