Updated production rules:
rule_18: A13 -> 15 A14 A15