import javascript

query predicate test_AttributeDefinition_getStringValue(DOM::AttributeDefinition a, string res) {
  res = a.getStringValue()
}