version with pc being modeled as PredValues seems to work for multiex
change MERGE_ENABLED in PredValues to activate or deactivate state merging.
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 ..
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 ..

total time spent in stats now.
Merge branch 'symfront' of https://github.com/SRA-SiliconValley/jalangi into symfront
merge with symfront