A procedure call is an expression if the procedure returns a result. The type of the expression is the result type of the procedure.
