message: Remove unneccessary label for EvaluatorZipMerge
diff: @@ -18,16 +18,14 @@ namespace world {
  namespace evaluation {
  const char EvaluatorZipMergeChn::formula_[] =
  "G (((i_left_of_k#1 & i_behind_of_k#1 & k_near_i#1 & k_near_lane_end#1) & "
  - "j_precedes_i#0 & !merged_i & near_merge_i & (j_precedes_i#0 | merged_j#0) U "
  + "j_precedes_i#0 & !merged_i & (j_precedes_i#0 | merged_j#0) U "
  "merged_i) -> G(merged_i & merged_j#0 -> !j_precedes_i#0))";
  const LabelFunctions EvaluatorZipMergeChn::labels_ = {
  LabelFunctionPtr(
  - new EgoBeyondPointLabelFunction("near_merge_i", Point2d(1052.0, 943.0))),
  + new AgentBeyondPointLabelFunction("merged_j", Point2d(1108.0, 943.0))),
  LabelFunctionPtr(
  - new AgentBeyondPointLabelFunction("merged_j", Point2d(1104.0, 943.0))),
  - LabelFunctionPtr(
  - new EgoBeyondPointLabelFunction("merged_i", Point2d(1104.0, 943.0))),
  + new EgoBeyondPointLabelFunction("merged_i", Point2d(1108.0, 943.0))),
  LabelFunctionPtr(new PrecedingAgentLabelFunction("j_precedes_i")),
  LabelFunctionPtr(new LeftOfLabelFunction("i_left_of_k")),
  LabelFunctionPtr(new BehindOfLabelFunction("i_behind_of_k")),
  