*/
public static Set<List<Label>> convertTracesToErl(Set<List<Label>> traces, Configuration config)
{
ErlangModule mod = ErlangModule.findModule(config.getErlangModuleName());
Set<List<Label>> convertedTraces = null;
ConvertALabel converter = mod.behaviour.new ConverterErlToMod();
convertedTraces = new HashSet<List<Label>>();
for(List<Label> list:traces) convertedTraces.add(OTPBehaviour.convertTrace(list, converter));
return convertedTraces;
}