causals[[2]]
In[]:=
{{AA},{AB}}
Out[]=
EnumerateSubstitutionSystemRules[{12,11},2]
In[]:=
Out[]=