Updated production rules:
rule_13: A12 -> 8 11