Class CoreGraph.StatementAdder