added the activation of graphs by commands and external events in
SplitProof