void add_rule(rule_type const& rule) { rules_.push_back(rule); }
void add_rule(const rule_type& rule) { rules_.push_back(rule); }