This class is responible for the validation of the target of an annotation.
It takes the CtElement defined in the
AValTarget and checks that it
is the same type as the one in validation point.
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.