set MERGE_ENABLED in PredValues.js to true to activate multiex.
set MERGE_ENABLED in PredValues.js to false to activate DSE.

time python scripts/jalangi.py symbolic -a src/js/analyses/puresymbolic/Multiple -i 1 tests/compos/parser
cd jalangi_tmp; node ../src/js/utils/StatCollector.js; cd ..