A procedure call transfers the interpretation to the procedure definition referenced in the call, and that procedure graph is interpreted.
The interpretation of the transition containing the procedure call continues when the interpretation of the called procedure is finished.
The actual parameter expressions are interpreted in the order given.
If an <expression> in <actual parameters> is omitted, the corresponding formal parameter has no value associated, i.e. it is "undefined".