add new control-flow-graph and new explanation document