add a class that create differents GraphSimulator from the sub_model
resulting from splitting the group of graphs
finished the proof splitting. Corected DSLGraphSimulator and renamed it
to DSLSequentialGraphSimulator.