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