formality rejected调试

在做formality时，在guidance summary中有时会报出一些rejected guidance的命令，如果最后结果succeeded，这些被rejected的命令可以被忽略，但如果是failed时，被rejected的命令应该如何进行调试，让它们变为accepted或排除他们对最后结果的影响?

eetop