This class implements the Prohibits structural validator. It checks if the current validation point is also annotated with an annotation of the type defined in the@Prohibits instance. If this is the case, an ERROR is reported.