JPF の Choice Generator，というか，ChoiceGeneratorBase クラスには，リンクフィールドは1つしかない．

 protected ChoiceGenerator prev;

このフィールドには，現在のパス上で直前に設定されたChoiceGeneratorが入っている．
したがって，Heuristic Search のような場合には，CG の deep clone が走ることになって，重いということに
なる．
さらに，同一の transition で複数のCGがある場合には，親の方のCGのフィールド

boolean isCascaded;

にtrueが設定されることになっている．