fix up instrumentation

Need to get concrete value from SymbolicType for conditionals