The two predicates SH_Data_check_tag and SH_Data_check_attr are a
wrapper to the appropriate methods of the validator. These are needed,
as there shouldn't be direct calls to the internal structure of SH_Data.
The modifying methods are not exposed, as the validator shouldn't be
changed while others depend on it.