Add a new test case for annotation support

Fixes #145