message: SafeDistanceLabelFunction input size 11 to 12
  solve Runtime Error of pickle
diff: @@ -103,7 +103,7 @@ void python_ltl(py::module m) {
  b.GetCheckLateralDist());
  },
  [](py::tuple t) {
  - if (t.size() != 11)
  + if (t.size() != 12)
  throw std::runtime_error("Invalid label evaluator state!");
  return new SafeDistanceLabelFunction(
  t[0].cast<std::string>(), t[1].cast<bool>(),
  