Adds a simple test for Must().