pex - Pex: すべてのパス条件 (PC) を取得する方法は?

Question

Pex/Intellitet に可能なパス条件を強制的に検索させることはできますか? I need pex がそれらの PC を見せてくれます。pexfonfun/visualstudio 2015 では、数台の PC しか表示されません。たとえば、実行不可能な PC は表示されません。

次の例では、3 PC を取得します。

1) i != 12 && i != 15;
2) i == 15;
3) i == 12;

public static int foo(int i){
   int a = 1;
   if(i == 12)
      a = 1;
   if(i == 15)
      a = 2;
   return a;
}

「i != 12 && i == 15」が表示されないのはなぜですか?

ありがとう！:)