A sample algorithm to process function calls in IG:

process_call (Input, actual, formal, funcBody)  =
	     (funcInput, mapInfo) = map(Input, formal, actual)
	     funcOutput = process_stmt(funcBody, funcInput)
	     output = unmap(funcOutput, mapInfo, Input)
	     return(output)