Updated production rules:
rule_23: A11 -> A12 13 12