Home.md

@@ -79,3 +79,26 @@ int main()
 
 [![](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/raw/master/code/website/common-final-segment-main-no-merge.svg)](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/blob/master/code/website/common-final-segment-main-no-merge-highres.svg)
 [![](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/raw/master/code/website/common-final-segment-main.svg)](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/blob/master/code/website/common-final-segment-main-highres.svg)
+
+
+
+## Code with common initial and final segments
+
+```c
+int main() {
+  x = TERM.readInt();
+  LED3.switchOn();
+  if( x <= 5 ) {
+    LED1.switchOn();
+    LED1.switchOff();
+  } else {
+    LED2.switchOn();
+    LED2.switchOff();
+  }
+  LED3.switchOff();
+  return 0;
+}
+```
+
+[![](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/raw/master/code/website/split-and-merge-main-no-merge.svg)](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/blob/master/code/website/split-and-merge-main-no-merge-highres.svg)
+[![](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/raw/master/code/website/split-and-merge-main.svg)](https://gitlab.science.ru.nl/mklinik/eca-symbolic-execution/blob/master/code/website/split-and-merge-main-highres.svg)