Added new files, changes made for making debugger work after upstream fetch
Introduced More files, made changes to the rewriter itself.
Graphs and transitions partly working. Maked changes to the symbolic rewriter
Fixed Console Reader bugs
Partially working Step function
Partially working Step all functions. Step working completely.
Major updates to the project
Some more changes with step-all probably working
Search working, however final integration still broken. Most of the command working. Integration with frontend still a problem to be fixed.
Working Implementation for step-all. Implementation for rules still broken
More Changes, rules also working. Edge cases to be tested
Completed Debugger, awaiting response.
Corrected autocomplete