Fix evaluation of return statements

[anubh-v]

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.