set usedLabels; transform(goto_list->begin(), goto_list->end(), inserter(usedLabels, usedLabels.end()), mem_fun(&JumpStatement::get_target));