MultiwaySystem[{"AB""BA"},{"AAAAABBBB"},5,"CausalInvariantQ"]
In[]:=
True
Out[]=