Verification of the dependency

[XiangyuG]

After we figure out the influence dependency between packet fields vs our target sliced assert, we should think up a way to verify that the correctness of this influence dependency.