Following top level subsystem and/or port names could not be modified. This can happen if the modified names already exist. Manually replace the following:
hdlmodelchecker