Annotations for default constraints #35