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