 first segment of first base attribute */  base_attr0_i = contract_i->add_segment(contract_i, attr0_f, &error, &more);  ck_assert(base_attr0_i == NULL);  ck_assert(error == NULL);  ck_assert(more);   /* process 