The saved state and {HEAD ~ commands} can be used for {TAIL ~ analysis}, such as by processing only a subset of the commands or processing a modified set of the commands 
used for
The saved state and { HEAD ~ commands } can be used for { TAIL ~ analysis } , such as by processing only a subset of the commands or processing a modified set of the commands
OTH OTH OTH OTH HEAD HEAD HEAD HEAD HEAD OTH OTH REL REL TAIL TAIL TAIL TAIL TAIL OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH