import javascript

query predicate test_ClassDefinition_getSuperClass(ClassDefinition cd, Expr res) {
  res = cd.getSuperClass()
}