Better way to encode dependency between stateful groups

[XiangyuG]

If we already know there is some dependency relationship between state groups, we should add the dependency assert into code generation file in order to reduce the search space.

In addition, different ways to encode the dependency may lead to different synthesis time so Xiangyu will sync up with Divya to use better dependency encoding method.