Updated production rules:
rule_17: A14 -> 12 15
rule_23: A20 -> 14 20 A18 21