non deterministic bug with distribution

[irakoton]

The following file contains non-equivalent processes. Sometimes the analysis is conclusive, sometimes it is interrupted by the internal error before starting the analysis:

Internal Error: [distributed_equibalence.ml >> convert_trace_to_original_symbols] The recipe should be ground.

The bug is not always easy to reproduce (and minimising the bugged example is hard as well) as the bug sometimes randomly disappears for a few minuts.

bug.txt

[irakoton]

NB. I confirm that the bug seems to be caused by parallelisation (does not appear with option -d false)