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