redundant cycles

[Michael Eichberg]

"HandlingResult(135,CSCCsResult(List(ArrayBuffer(EPK(j@7499fd82,pkName=ReachableNodes(t=81461621529242),pkId=10), EPK(i@419acb96,pkName=ReachableNodes(t=81461621529242),pkId=10), EPK(h@2f991f06,pkName=ReachableNodes(t=81461621529242),pkId=10)), ArrayBuffer(EPK(b@5e081c26,pkName=ReachableNodes(t=81461621529242),pkId=10), EPK(d@16fc2241,pkName=ReachableNodes(t=81461621529242),pkId=10), EPK(e@63eb1200,pkName=ReachableNodes(t=81461621529242),pkId=10), EPK(r@16ae1333,pkName=ReachableNodes(t=81461621529242),pkId=10)), ArrayBuffer(EPK(h@2f991f06,pkName=ReachableNodesCount,pkId=4), EPK(j@7499fd82,pkName=ReachableNodesCount,pkId=4), EPK(i@419acb96,pkName=ReachableNodesCount,pkId=4)))),false,Set())"

[Michael Eichberg]

There is no redundant cycle... one is w.r.t. Nodes and the other is w.r.t. NodeCounts.

[Michael Eichberg]

Removing version: 1.1.0 (automated comment)