C++ program for converting UPPAAL traces to Octopus traces