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