Merge branch 'cf_solver' into bachish/tree-correctness

# Conflicts:
#	solver/src/main/kotlin/org/ucfs/parser/Gll.kt
#	solver/src/main/kotlin/org/ucfs/sppf/node/RangeSppfNode.kt
#	solver/src/main/kotlin/org/ucfs/sppf/writeSppfToDot.kt
#	test-shared/src/test/kotlin/grammars/SimpleDyck.kt
#	test-shared/src/test/kotlin/solver/AbstractCorrectnessTest.kt
#	test-shared/src/test/resources/correctness/tree/ABGrammar/ambig/result.dot
#	test-shared/src/test/resources/correctness/tree/LoopDyck/oneVertex/result.dot
#	test-shared/src/test/resources/correctness/tree/LoopDyck/secondWorstCase/result.dot
#	test-shared/src/test/resources/correctness/tree/LoopDyck/twoPairs/result.dot
#	test-shared/src/test/resources/correctness/tree/SALang/linear/result.dot
#	test-shared/src/test/resources/correctness/tree/SimplifiedDyck/linear/result.dot

Author: bachish

test-shared/src/test/resources/correctness/tree/LoopDyck/minimalWorstCase/input.dot

@@ -0,0 +1,7 @@
+digraph Input {
+    label="Minimal worst case, simple loop RSM for Dyck language"
+    start -> 0;
+	0 -> 0 [label = "("];
+	0 -> 1 [label = ")"];
+	1 -> 0 [label = ")"];
+}

test-shared/src/test/resources/correctness/tree/LoopDyck/minimalWorstCase/result.dot

@@ -0,0 +1,43 @@
+digraph g {
+labelloc="t"
+label=""
+0 [label = "Epsilon RSM: S_0, input: [0, 0]", shape = invhouse]
+1 [label = "Intermediate input: 0, rsm: S_1, input: [0, 0]", shape = plain]
+2 [label = "Intermediate input: 0, rsm: S_1, input: [0, 1]", shape = plain]
+3 [label = "Intermediate input: 0, rsm: S_2, input: [0, 1]", shape = plain]
+4 [label = "Intermediate input: 1, rsm: S_2, input: [0, 0]", shape = plain]
+5 [label = "Nonterminal S, input: [0, 0]", shape = invtrapezium]
+6 [label = "Nonterminal S, input: [0, 1]", shape = invtrapezium]
+7 [label = "Range , input: [0, 0], rsm: [S_0, S_0]", shape = ellipse]
+8 [label = "Range , input: [0, 0], rsm: [S_0, S_1]", shape = ellipse]
+9 [label = "Range , input: [0, 0], rsm: [S_0, S_2]", shape = ellipse]
+10 [label = "Range , input: [0, 0], rsm: [S_1, S_2]", shape = ellipse]
+11 [label = "Range , input: [0, 1], rsm: [S_0, S_0]", shape = ellipse]
+12 [label = "Range , input: [0, 1], rsm: [S_0, S_2]", shape = ellipse]
+13 [label = "Range , input: [0, 1], rsm: [S_1, S_2]", shape = ellipse]
+14 [label = "Range , input: [0, 1], rsm: [S_2, S_0]", shape = ellipse]
+15 [label = "Range , input: [1, 0], rsm: [S_2, S_0]", shape = ellipse]
+16 [label = "Terminal '(', input: [0, 0]", shape = rectangle]
+17 [label = "Terminal ')', input: [0, 1]", shape = rectangle]
+18 [label = "Terminal ')', input: [1, 0]", shape = rectangle]
+1->8
+1->10
+2->8
+2->13
+3->9
+3->14
+4->12
+4->15
+5->7
+6->11
+7->0
+7->4
+8->16
+9->1
+10->5
+11->3
+12->2
+13->6
+14->17
+15->18
+}