Add further annotations (@require tag)