public int Width([PexAssumeNotNull] string input) { // arrange int actual = new StringInfo(input).LengthInTextElements; // assert int result = CommonStringExtensions.Width(input); // assert PexAssert.AreEqual(actual, result); return(result); }