{HEAD ~ The saved state} and 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
{ HEAD ~ The saved state } and 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
HEAD HEAD HEAD HEAD HEAD HEAD HEAD OTH OTH 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