JStatement recExeCode(int rec, JBlock block)
JStatement recExeCode(int rec, JStatement block)
    JStatement recExeCode(int rec, JBlock block)     {	//generate the receive code	if (rec > 0) {	    return makeForLoop(block, exeIndex, new JIntLiteral(rec));	}	else {	    	    //do not generate the receive code	    //simply return the block	    return block;	}       }