analyze the second computing service to identify a second set of one or more variables that must be assigned {HEAD ~ respective variable states} in the second set of variable states in order to provide the second computing service, the second one or more variables including {TAIL ~ the first variable} 
analyze the second computing service to identify a second set of one or more variables that must be assigned { HEAD ~ respective variable states } in the second set of variable states in order to provide the second computing service , the second one or more variables including { TAIL ~ the first variable }
OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH 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 OTH OTH OTH OTH OTH OTH TAIL TAIL TAIL TAIL TAIL TAIL TAIL