using System.Diagnostics; public class Program { public static void Puzzle(int index, int count) { if (index >= 0 && count >= 0) { // Can any value of index and count fail this assertion? // Ask Pex to find out! Debug.Assert(index + count >= 0); } } }