diff --git a/jOptJSRecover/src/jopt/js/spi/graph/arc/ForwardCheckArc_main.ser b/jOptJSRecover/src/jopt/js/spi/graph/arc/ForwardCheckArc_main.ser
new file mode 100644
index 0000000..582c2a1
Binary files /dev/null and b/jOptJSRecover/src/jopt/js/spi/graph/arc/ForwardCheckArc_main.ser differ
diff --git a/jOptJSRecover/traces4MJ/StartHereTrace.mnj b/jOptJSRecover/traces4MJ/StartHereTrace.mnj
new file mode 100644
index 0000000..e69de29