out = std::get<2>(flattended_labels);

  auto lhs_map_or = EquationToMap(lhs);
  if (!lhs_map_or.has_value()) return std::nullopt;
  auto lhs_map = lhs_map_or.value();

  auto rhs_map_or = EquationToMap(rhs);
  if (!rhs_map_or.has_value()) return std::nullopt;
  auto rhs_map = rhs_map_or.value();

  auto out_map_or = EquationToMap(out);
  if (!out_map_or.has_value()) return std::nullopt;