Graphs and transitions partly working. Maked changes to the symbolic rewriter