Update after RiTHM released traces in the right XML format:
*Translators created
*Properties adjusted according to the format of the traces
*Benchmarks created