Syntax errors are now reported in the same way as semantic analysis. If a syntax error occur, semantic analysis is skipped. Removed test case that is covered by syntax analysis.

Added tests to ExtraTest. Some test cases which violate grammar do not work with non deadly errors, so they are deadly now. removed test cases for errors which are now deadly. TODO: improve antlr error reporting to not start semantic analysis if syntax analysis got errors.

changed possible errrors to non deadly in both proof listener; Added test cases for all non deadly semantic errors. TODO: employ those tests in the test manager (some of the tests may be impossible to test due to syntax error from antlr)

removed unused constructor parameters of Listener_Helper, changed possible errors to non deadly in Task_Listener

repaired name of AbstractEingabeverwalter, changed all possible errors to nondeadly in Listener_Helper and ADT_Listener, Added Tests for ADT for non deadly semantic errors

Added Error to namespace Metamodell; Added new Semantic Errors: deadly, non deadly and warning; transformed all KontexExceptions in Listener_Helper to SemanticErrors.

Now the giving of maxpt when no errors are found applies to singletasks and configured inductioncases instead of only to the whole proof

added coords to element, so every Part of the proof got coords. Changed all Exceptions related to elements to print its coords to the message. Maybe do the same for Trees?

Added separator after function Trees (optional for classic Trees), which where needed to parse the trees correctly. Addes new automatic Test for function Trees - Test is passed.

improved the grammar of function Trees, so it is possible to ignore unneeded brackets; implemented building of function Trees; WIP: Add a auto Test for function Trees and test function Trees

adjusted grammar of fTree, so only 1 nonterminal composes two fTrees. endless brackets still possible

adopted Create_And_Test_Parsers.bat to new project name; Added alternative Tree form: like functions in Haskell; works currently with classic trees; TODO: implement function trees BUG: need seperator between each function tree (like end of lemma or inductioncase)

rename project from BaumtransformationBewerter to BewerterStrukturellerInduktion; switch to .Net 6.0 from .Net 3.1