Merge remote-tracking branches 'origin/HEAD' and 'origin/master'
solver for pure symbolic is done.
added a type field to every symbolic value and symbolic predicate.
Merge branch 'puresymbolic' of https://github.com/SRA-SiliconValley/jalangi