fixed a bug in instrumenting for(;;);