For a function_application expression
e, expressions
passed to the function are evaluated from left-to-right by rules
function_application_left_0 and
function_application_left_1, and when all of
the arguments have evaluated to values, the variables in the body of the
function are substituted with the values of the arguments and the expression
as a whole is evaluated, by rule
function_application_body.