Updated production rules:
rule_24: A10 -> A11 12