Adding Cocktail.SEQUENCE to specify priorities when defining annotations