Updated a test case to cover multiple return annotations