In[]:=
RuleBank[sig_]:=RuleBank[sig]=EnumerateWolframModelRules[sig]
In[]:=
{RandomChoice[RuleBank[{{1,2}}{{2,2}}]],RandomChoice[RuleBank[{{2,2}}{{1,2}}]]}
Out[]=
{{{1,2}}{{3,2},{2,4}},{{1,2},{3,2}}{{4,1}}}
In[]:=
RuleBank[{{2,2}}{{3,2}}];
In[]:=
Select[ParallelMapMonitored[WolframModelTest[#,{{1,1}}]&,Table[{RandomChoice[RuleBank[{{1,2}}{{2,2}}]],RandomChoice[RuleBank[{{2,2}}{{1,2}}]]},100]],AnyTrue[Differences[#Sizes],#≤0&]&]
Out[]=
In[]:=
MakePictures2[%%]
Out[]=
In[]:=
Select[ParallelMapMonitored[WolframModelTest[#,{{1,1}}]&,Table[{RandomChoice[RuleBank[{{1,2}}{{2,2}}]],RandomChoice[RuleBank[{{2,2}}{{1,2}}]]},1000]],AnyTrue[Differences[#Sizes],#≤0&]&];
In[]:=
MakePictures2[%137]
Out[]=
In[]:=
Select[ParallelMapMonitored[WolframModelTest[#,{{1,1}}]&,Table[{RandomChoice[RuleBank[{{1,2}}{{2,2}}]],RandomChoice[RuleBank[{{2,2}}{{1,2}}]]},1000]],(AnyTrue[Differences[#Sizes],#<0&]&&ConnectedHypergraphQ[#FinalState])&];
Additional initial condition:

Rule Interference