Обнаружил, что Pex не справился с таким простым заданием:

public class Program {
  public static void Puzzle(ref int x, ref int y) {
    x = 0;
    y = 1;
    if (x == 1) throw new System.ArgumentException("foo!");
  }
}

Да, надо быть готовым к тому, что несколько ref-параметров вполне могут ссылаться на одну и ту же переменную/поле =)