need to update instrumentation

to extract concrete value for conditionals