The assert part of #1030
Add an anonymous annotation to an assert (for #1030)