Strongly Typed AST: Add test for RETURN_STATEMENT