import javascript

query predicate test_AttributeDefinition_getName(DOM::AttributeDefinition a, string res) {
  res = a.getName()
}