Update conclusion reasons (#26)

* Add MergedWithAnotherInit conclusion reason to ResultFile WL importer

* Add MergedWithAnotherInit to result file format documentation

Author: okofish

FileFormats/README.md

@@ -107,6 +107,7 @@ Diagram shows a single initial state of 25 bits.
       - `6`: Maximum event count exceeded
       - `7`: Time constraint exceeded
       - `8`: Not evaluated (previous evaluation hit time constraint)
+      - `9`: Evaluation merged with that of another initial state
     - Bits 5-6: Final head state as unsigned 2-bit integer (0 to 3)
     - Bit 7: Whether final state is present
   - Event count: `u64`

FileFormats/ResultFile.wl

@@ -15,7 +15,8 @@ $ConclusionReasons = <|
     5 -> "MaxTapeLengthExceeded",
     6 -> "MaxEventCountExceeded",
     7 -> "TimeConstraintExceeded",
-    8 -> "NotEvaluated"
+    8 -> "NotEvaluated",
+    9 -> "MergedWithAnotherInit"
 |>
 
 (* ::Section:: *)