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'