added functionality to combine the complexity of graphs separated by mulsplit nodes for the entire tree
Added functionality to find Mulsplit nodes and seperate into subtrees at those
corrected connectionpath finding from root to account for starting after mulsplit node
adapted encOut to the new analyzer, while implementing the possibility to analyze multigoal states

adapted split to adhere to the new typing of analyze, function should be unchanged otherwise
avoided infinite substitution loop in OneDirectionSubstitution when substituting variable into a term containing itself, no more hanging up

in accordance to Parsermaker.y

implemented functionality to analyze multigoal states
avoided reading of the wrong function if symbol infix of another function symbol
made = infix when caling groundness analyzer 

removed test from start
changerd default settings
added time measurment
added functionality for working with multiplicative split nodes

correct parsing for -, added multiline comments and strings

Update TermRewriteSystemMaker.hs            made Connection Paths end on the correct spot at Generalisation nodes.

Update GroundnessAnalyzer.hs     now executes swipl instead of Prolog and can somewhat handle queries consisting of one atom

Update SymbolicEvaluationGraph.hs small logic mistakes, instance check now can have S' Variables substitute to functions

Update SymbolicEvaluationGraph.hs, found a stupid mistake i have been carrying along propably since the beginning of the project

Update README.md

See merge request !1