add annotation, constraints and exceptions from GS2