message: fixed labeling for right overtaking eval
diff: @@ -16,13 +16,13 @@ namespace evaluation {
  /// Do not overtake to the right, if traffic is not dense!
  const char EvaluatorRightOvertake::formula_[] =
  - "G (!dense -> !(behind_j#0 & X[!](behind_j#0 U r_v#0 U front_j#0)))";
  + "G (!dense -> !(behind_j#0 & X[!](behind_j#0 U right_j#0 U front_j#0)))";
  const LabelFunctions EvaluatorRightOvertake::labels_ = {
  LabelFunctionPtr(new DenseTrafficLabelFunction("dense", 20.0, 8)),
  - LabelFunctionPtr(new RightOfLabelFunction("r_v")),
  - LabelFunctionPtr(new FrontOfLabelFunction("f_v")),
  - LabelFunctionPtr(new BehindOfLabelFunction("b_v"))};
  + LabelFunctionPtr(new RightOfLabelFunction("right_j")),
  + LabelFunctionPtr(new FrontOfLabelFunction("front_j")),
  + LabelFunctionPtr(new BehindOfLabelFunction("behind_j"))};
  const char EvaluatorRightOvertakeAssumption::formula_[] = "G !dense";
  