Edge frequencies wrongly updated in replay #33
Description
When performing the replay of a trace in a BPMN model, the frequency of each edge (how many times it is traversed) is only updated for the traversing of gateways.
It needs to be extended to count all edge traversals.