ConstraintVisitor: added more supported stuff to annotation checks