import javascript

query predicate test_getAMember(ClassDefinition c, MemberDeclaration res) { res = c.getAMember() }