Merge the working tool from the development branch 'analysis'

[Yurand2000]

Since the time to review code and work properly in general was lacking, most of the final features were already merged into a working development branch 'analysis'. A single pull request is therefore opened to merge all the work done so far. A list of added features and linked issues follows:

• Parser Tests

  • 32

• AST Validation

  • 17

• CFG Construction

  • 5

• Formula Normalization

  • 20

  • 10

• Atomic Commands analysis

  • 23

  • 25

  • 24

• Regular Commands analysis

  • 26

• System tests

  • 19