#const num_nonTerminals=2.
#const num_rules=5.