Function bodies

Similarly, one may not consider the following syntactic sugar

FunctionBody

$\longmapsto$

Statement ;

and restrict function bodies to be of the form

FunctionBody

$\longmapsto$

{ StatementSequence }