Set<TypeDeclaration> set = new HashSet<TypeDeclaration>();
if (td.getSatisfiedTypes().isEmpty()) return; //handle undecidability case
for (Tree.StaticType t: that.getTypes()) {
ProducedType type = t.getTypeModel();
if (type!=null && type.getDeclaration()!=null) {
type = type.resolveAliases();
TypeDeclaration std = type.getDeclaration();
if (td instanceof ClassOrInterface &&
!inLanguageModule(that.getUnit())) {
if (unit.isCallableType(type)) {
t.addError("satisfies 'Callable'");