Splitting of the proof for independent groups of state machines