NSString* str = it->first;
					if([str isEqualToString:[NSString stringWithFormat:@"%d", [str intValue]]])
					{
						res->insert(std::make_pair([str intValue], rule));
					}
					else if(ptrn)
					{
						int* list = NULL;
						int len = ptrn->indices_for_group([str UTF8String], &list);
						for(int i = 0; i < len; i++)
							res->insert(std::make_pair(list[i], rule));
					}
					else
					{
						// FIXME we need to resoolve this when the pattern is known
					}