The saved state and commands can be used for analysis, such as by processing only a subset of the commands or processing {HEAD ~ a modified set} of {TAIL ~ the commands} 
of
The saved state and commands can be used for analysis , such as by processing only a subset of the commands or processing { HEAD ~ a modified set } of { TAIL ~ the commands }
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 HEAD HEAD REL TAIL TAIL TAIL TAIL TAIL TAIL