If the statement data dependencies are on {HEAD ~ the identification list}, the statement will be treated as non shareable until the completion of the current unit of {TAIL ~ work} 
If the statement data dependencies are on { HEAD ~ the identification list } , the statement will be treated as non shareable until the completion of the current unit of { TAIL ~ work }
OTH OTH OTH OTH OTH OTH OTH HEAD HEAD HEAD HEAD HEAD HEAD HEAD OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH TAIL TAIL TAIL TAIL TAIL