replaces keyword diagram by graph
renamed constructor, too
Merge pull request #1333 from spechub/rename-diagram-to-graph

replaces keyword diagram by graph
for interactive api proving query keys for all theorems are created