Given a global element with an assert on it having testKind pattern.

Use that element from inside a choice via an element ref.

The assert isn't executed at all.

Moving the assert from the element declaration to the element ref works, so some situations where pattern asserts inside a choice do work.

Will create a test to illustrate.