added HasAnnotationPropertiesInSignature to uniform treatment of
annotation properties