Given a control flow loop, try to find a putative initializer PcodeOp for the loop variable. The initializer must be read by read by \e loopDef and by in a block that flows only into the loop. If an initializer is found, then \e initializeOp is set and the lastOp (not including a branch) in the initializer block is returned. Otherwise null is returned. \param head is the head block of the loop \p
source not stored for this graph (policy: none)