modify test for class instances
resolvable instance for declarations in instances
traverse class decl
annotate instance decl