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