pass the instrumentation testing; change to CallInst with arguments