prod_first = prod.check_first_set();
prod_first = prod.check_first_set();
prod_first = prod.check_first_set();
prod_first = prod.check_first_set();
prod_first = prod.check_first_set();
prod_first = prod.check_first_set();
prod_first = prod.check_first_set();