Emmanuel

> I would like to have randomized testing, so I can take over this PR if you are ok with it @EmmanuelMess Yes, no problem. Do see how `QuickCheck` implements...

I can try to make production rules that fit the language.

How should redefinitions of the same variable be handled? like: `a:= 10; a:=1;`

> Would having a BNF help? Reading about BNF, it seems it constructs a context free language, the issue right now for me would be dealing with (variable) names and...

> It may not make sense to make changes to the mechanics of movement because the creator of the demo could intentionally conceive such a movement that there would be...

@velitasali Any ideas on what is the problem?

@velitasali Ok, I don't have much experience with Qt. And I haven't run the code. But, if I may give some advice. Are you compressing, or better, tarring, before sending?...

```cpp FAILED: src/main_app/input_reader/CMakeFiles/input_reader.dir/Parser.cpp.o /home/emmanuel/Rápido/JetBrains/Toolbox/clion/bin/cmake/linux/x64/bin/cmake -E __run_co_compile --launcher=/usr/bin/ccache --cppcheck="/usr/bin/cppcheck;--template=gcc;--enable=style,performance,warning,portability;--inline-suppr;--suppress=cppcheckError;--suppress=internalAstError;--suppress=unmatchedSuppression;--suppress=passedByValue;--suppress=syntaxError;--suppress=preprocessorErrorDirective;--inconclusive;--std=c++20;--error-exitcode=2" --source=/fast/emmanuel/Projects/GitHub/ConstraintBasedSimulator/code/src/main_app/input_reader/Parser.cpp -- /usr/bin/g++-10 -DLEXY_HAS_UNICODE_DATABASE=1 -DSAMPLE_LIBRARY_STATIC_DEFINE -DSPDLOG_COMPILED_LIB -DSPDLOG_FMT_EXTERNAL -I/fast/emmanuel/Projects/GitHub/ConstraintBasedSimulator/code/include -I/fast/emmanuel/Projects/GitHub/ConstraintBasedSimulator/code/cmake-build-release-gcc-10/include -isystem /fast/emmanuel/Projects/GitHub/ConstraintBasedSimulator/code/cmake-build-release-gcc-10/_deps/spdlog-src/include -isystem /fast/emmanuel/Projects/GitHub/ConstraintBasedSimulator/code/cmake-build-release-gcc-10/_deps/fmt-src/include -isystem /fast/emmanuel/Projects/GitHub/ConstraintBasedSimulator/code/cmake-build-release-gcc-10/_deps/lexy-src/src/../include -U_FORTIFY_SOURCE -D_FORTIFY_SOURCE=3 -fstack-protector-strong -fcf-protection -fstack-clash-protection -D_GLIBCXX_ASSERTIONS -O3...

> Yeah, that's C++ for you, there isn't a lot I can do there. I'm not quite sure, but I think that adding more complex requirements to the type parameters...

We should add a dialog to put in a new name.