let prods_of_rule r = r.prods