PROBCORE-575 First idea for introducing getSrcId and getDestId (still need reference to StateSpace as parameter, unless we want to have a reference to the StateSpace in the OpInfo itself. Do we want to do that? Can we ensure that when the StateSpace and all Traces are deallocated, that all references to OpInfos will also be deallocated?)
Merge remote-tracking branch 'origin/develop' into develop