{TAIL ~ Inter procedural dataflow analysis} of {HEAD ~ parameterized concurrent software} 
{ TAIL ~ Inter procedural dataflow analysis } of { HEAD ~ parameterized concurrent software }
TAIL TAIL TAIL TAIL TAIL TAIL TAIL TAIL OTH HEAD HEAD HEAD HEAD HEAD HEAD HEAD