oh, I think we have a bug. Should supertypeBinding show up in getDependencies? I think that's a bug