コネクタ関連のバグ

[miuele]

関連：#235

以下について

t.
{ {x(L1,L2)}. L1=L2 }.

rule1@@
t,
{ {x(L1,L2)}. $p[L1,L2] } :- .

非決定的実行(--nd -t)の結果として次が得られる：

States
1::{t. {{x(L0,L0). }. }. @4. }

Transitions
init:1
1::

'# of States'(stored)   = 1.
'# of States'(end)      = 1.

正しくは

• 初期状態： t, {{x(L1,L2)}, L1=L2}
• (R5) X = Y, {P} → {X = Y, P} の適用結果： t, {{x(L1,L2), L1=L2}}（またはこれと合同なt, {{x(L0,L0)}}）
• rule1の適用結果： （空）

の合計3状態が出力されてほしい

---

また，通常実行において初期状態の表示が正しくない：

1: t. {{x(L0,L0). }. }. @58. 
---->
2: t. {{x(L0,L0). }. }. @58. 
t. {{x(L0,L0). }. }. @58.