createShouldNotBeShownToUserWarning

Creates an Assertion which warns the user about a bug in Atrium.

Return

the assertion