Knowing what we know from that blog post, maybe all such tests should be checking for `dyn.a`?