problem with &&, ||, and switch during retracing
substr1, substr2, regex1 are not working
fixed problem with &&, ||,

still problem with switch during retracing
substr1, substr2, regex1 are not working
./scripts/pure analyses/puresymbolic/Multiple tests/unit/deswitch 1
is failing
fixed a bug due to modeled functions in Multiple
correctly handled switch statement nested from a case label.

see tests/unit/switch-complex.js
regex2.js not working on Multiple.js
see regexnotin constraint generation
addAxiom fixed, but native function call from Multiple such as new RegExp and s.replace() are still broken.
regex8, str_to_int and int_to_str are not working with Multiple.js
int_to_str and str_to_int are working for Multiple
Merge remote-tracking branches 'origin/symbolic', 'origin/HEAD' and 'origin/master' into symbolic
temporary changes to accommodate assume.
Need to refactor pushPC, popPC and resetPC
cleaned up popPC, pushPC, and resetPC. addAxiom should now work.
added two tests, compos4 and compos5, where indexOf and lastIndexOf are not summarized
made sure that the solution for the current path is propagated to the caller.
SymbolicFunctions3.js introduced.  char_code_at.js is failing.
strengthened tests for Multiple, but many are failing now.
path_inputs and fromCharCode are failing.
handles invocation of un-instrumented functions calls in Multiple
from_char_code is now working,
char_code_at and path_inputs are still failing
debug substring1.js