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?