Annotate the Statement class