Updated production rules:
rule_16: A8 -> A7 7