Right now, we determine whether AisInstanceOfB by walking A's .class and .super table members, looking for B. But we should also have something like AhasAttributeB, which just scans A's .attributes table for B; mixin should append .attribute tables rather than overwriting like it does now.
Right now, we determine whether AisInstanceOfB by walking A's .class and .super table members, looking for B. But we should also have something like AhasAttributeB, which just scans A's .attributes table for B; mixin should append .attribute tables rather than overwriting like it does now.