import javascript

query predicate test_ClassDefinition_getName(ClassDefinition cd, string res) { res = cd.getName() }