Avoid unnecessary std::map construction when merging transition sets