If loop header is also loop exiting block then OrigPN is incoming value for B loop...