formality don't identify,when design compiler uniquify

[feel_on_on]

formality don't identify the name in svf ,when design compiler uniquify.

example:
guide_reg_merge
-deisgn abc_1
-from abc_reg[0]
-to abc_reg[1]

formality can't identify abc_1,only know abc . anyone can help me ,pls tell me how to
make formality know the name from design compiler uniquify .

 

[dianin]

I think for uniquify the command is "guide_uniquify" , but did not get why are you giving "guide_reg_merge". Could you please tell how do you know that formality is not able to identify the specific reg, are you manually giving the guidance command or loading the svf file?