Update SymbolicEvaluationGraph.hs, corrected the error of Instances not being recognized when the same variable is substituted multiple times to another same variable multiple times

Update TermRewriteSystemMaker.hs connection paths shouldn't be created twice following generalized now,
no more skipping when generalized is followed by something
made a correct creator of substitutions at instance and generalize nodes
integrated Generalization checks in the encode in out trees
tried adding a correction for the unified in first split goal, only one grounded in secon split goal problem but failed and scrapped it

Update SymbolicEvaluationGraph.hs no more generalizing multigoal terms, equal rights for generalize and Instance,
also now in generalize grounded only if fully grounded(might regret this)

 lists created and added to program are now in non canonical form because the analyzer doesn't like canonical form.
added output when the analysis fails

removed printout and
finally finally removed warnings about illegal utf start in groundness analyzer call

removed trace in rewrite

removed all "trace"es of printouts and benchmarking

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