setting blackbox in formality

[hashbrown]

Hi, I am running formality to verify cell vs rtl but I have some use cases where i want to run formality on an instance in a top module. Say my top module is A and my cell vs rtl is present in module B. This B is instantiated in A module where on the instance i wanna run formality. How can i black box rest of the module A(other than instance)?
I checked the documents but no luck so far.

Anybody knows how set_verify or set_dont_verify set_black_box remove_black_box can help?
(for some reason i wanna run formality on instance please dont ask the reason)