Fixes#1

When we analyze the sub-expression in a return statement, we obtain a function that
expects three arguments: the environment, success and failure continuations.

Let's pass the correct number of arguments when we apply this function, so that
return statements can be correctly evaluated.