Some little changes. Removing bugs.

Need to propperly remove nodes and connect formal to graphic automata.
Now failing when delete first node.