Add the class SplitProof that split the activation graph in groups of
state machines