Checks and test for illegal (and legal) use of xsd:any