add instrumentation for PutI instruction
add instrumentation for GetI expression
check if CAS suceeded for CAS statements