あなたのコードでは一意解判定の際に、

1. 最初に1つ目の解を求める（optimize()で内部状態が変換済みに）

2. 元のモデルに戻すために freeTransform() を呼ぶ

3. 1つ目の解を禁止する制約（nogood制約）を追加

4. もう一度 optimize() を実行し、別解があるか判定する

こうしないと、2回目の探索用の制約を追加できません。