Recognizes return statement