2LS: new default CLI options

Author: viktormalik

2ls.inc

@@ -60,7 +60,7 @@ run()
       fi
     fi
   else
-    PROPERTY="$PROPERTY --heap-values-refine --sympath --k-induction --competition-mode"
+    PROPERTY="$PROPERTY --heap --values-refine --k-induction --competition-mode"
 
     # run the tool
     $TOOL_BINARY --graphml-witness $LOG.witness --object-bits $OBJ_BITS $PROPERTY \