Add tests for MustXxx