fix bug introduced in other branch
more cleanup in preparation for summer school
start to refactor opcodes to make more sense
finally understand bytecode_opcodes

Piece of junk!
get rid of this junk
preparing for major surgery
change the preprocessing

To remove all computation from If/While conditional
got path to Z3 working
problem with variables identified
got rid of infinite loop
fix predicate equality
need to update instrumentation

to extract concrete value for conditionals
fix up instrumentation

Need to get concrete value from SymbolicType for conditionals
more debugging
more understanding of constraints...
getting closer
Errors in generating Z3 expression corrected
simplified symbolic execution is working!
removed dependence on tracing code
Merge remote-tracking branch 'origin/simplifyCondEval'