jmockkit coverage reportの分岐網羅について

Question

処理内でフラグによる条件分岐を設定しているのですが、フラグオンでしか分岐に入らないルートも分岐網羅パターンにカバレッジで指定されてしまいます。カバレッジの分岐網羅の判定はフラグなど内部処理による到達不能ルートなど考慮せず、ただただ純粋に分岐の組み合わせとしてのパターンを全て導出してしまうものなのでしょうか。