Updated production rules:
rule_7: A6 -> A7 3 4 A11 A8