testcase for state machines with header groups