networkSimplexRanker crashes: Cannot read property 'v' of undefined

[fefrei]

I'm having problems layouting a graph with default settings, it crashes while computing the ranks:

TypeError: Cannot read property 'v' of undefined
    at exchangeEdges (network-simplex.js:197)
    at networkSimplex (network-simplex.js:64)
    at networkSimplexRanker (index.js:47)
    at rank (index.js:34)
    at eval (layout.js:35)
    at notime (util.js:235)
    at runLayout (layout.js:35)
    at eval (layout.js:25)
    at notime (util.js:235)
    at eval (layout.js:25)

Switching to ranker: 'tight-tree' resolves this.

I'm not sure what the best way to share the crashing example is – here's a JSON representation of the smallest dagre.graphlib.Graph() I found that reproduces this:

{"_isDirected":true,"_isMultigraph":false,"_isCompound":false,"_label":{"nodesep":100},"_nodes":{"place-14x9-PCAssignExpression":{"type":"place","place":{"key":"14x9-PCAssignExpression","displayName":"14x9-PCAssignExpression","extensions":{"sourcemap":{"line":14,"column":9}}},"dagreKey":"place-14x9-PCAssignExpression","width":160,"height":80},"place-13x9-PCStmtExpression":{"type":"place","place":{"key":"13x9-PCStmtExpression","displayName":"13x9-PCStmtExpression","extensions":{"sourcemap":{"line":13,"column":9}}},"dagreKey":"place-13x9-PCStmtExpression","width":160,"height":80},"place-13x9-PCPostfixExpression":{"type":"place","place":{"key":"13x9-PCPostfixExpression","displayName":"13x9-PCPostfixExpression","extensions":{"sourcemap":{"line":13,"column":9}}},"dagreKey":"place-13x9-PCPostfixExpression","width":160,"height":80},"place-13x9-PCPostfixExpression-7":{"type":"place","place":{"key":"13x9-PCPostfixExpression-7","displayName":"13x9-PCPostfixExpression","extensions":{"sourcemap":{"line":13,"column":9}}},"dagreKey":"place-13x9-PCPostfixExpression-7","width":160,"height":80},"place-12x9-PCPrimitiveStmt":{"type":"place","place":{"key":"12x9-PCPrimitiveStmt","displayName":"12x9-PCPrimitiveStmt","extensions":{"sourcemap":{"line":12,"column":9}}},"dagreKey":"place-12x9-PCPrimitiveStmt","width":160,"height":80},"place-11x9-PCStmtExpression":{"type":"place","place":{"key":"11x9-PCStmtExpression","displayName":"11x9-PCStmtExpression","extensions":{"sourcemap":{"line":11,"column":9}}},"dagreKey":"place-11x9-PCStmtExpression","width":160,"height":80},"place-11x9-PCPostfixExpression":{"type":"place","place":{"key":"11x9-PCPostfixExpression","displayName":"11x9-PCPostfixExpression","extensions":{"sourcemap":{"line":11,"column":9}}},"dagreKey":"place-11x9-PCPostfixExpression","width":160,"height":80},"place-11x9-PCPostfixExpression-i":{"type":"place","place":{"key":"11x9-PCPostfixExpression-i","displayName":"11x9-PCPostfixExpression","extensions":{"sourcemap":{"line":11,"column":9}}},"dagreKey":"place-11x9-PCPostfixExpression-i","width":160,"height":80},"place-9x5-PCProcedureDecl-m":{"type":"place","place":{"key":"9x5-PCProcedureDecl-m","displayName":"9x5-PCProcedureDecl","extensions":{"sourcemap":{"line":9,"column":5}}},"dagreKey":"place-9x5-PCProcedureDecl-m","width":160,"height":80},"place-9x5-PCProcedureDecl-i":{"type":"place","place":{"key":"9x5-PCProcedureDecl-i","displayName":"9x5-PCProcedureDecl","extensions":{"sourcemap":{"line":9,"column":5}}},"dagreKey":"place-9x5-PCProcedureDecl-i","width":160,"height":80},"place-9x5-PCProcedureDecl-h":{"type":"place","place":{"key":"9x5-PCProcedureDecl-h","displayName":"9x5-PCProcedureDecl","extensions":{"sourcemap":{"line":9,"column":5}}},"dagreKey":"place-9x5-PCProcedureDecl-h","width":160,"height":80},"place-7x5-PCConditionDecl":{"type":"place","place":{"key":"7x5-PCConditionDecl","displayName":"7x5-PCConditionDecl","extensions":{"sourcemap":{"line":7,"column":5}}},"dagreKey":"place-7x5-PCConditionDecl","width":160,"height":80},"place-7x5-PCConditionDecl-r":{"type":"place","place":{"key":"7x5-PCConditionDecl-r","displayName":"7x5-PCConditionDecl","extensions":{"sourcemap":{"line":7,"column":5}}},"dagreKey":"place-7x5-PCConditionDecl-r","width":160,"height":80},"place-7x5-PCConditionDecl-a":{"type":"place","place":{"key":"7x5-PCConditionDecl-a","displayName":"7x5-PCConditionDecl","extensions":{"sourcemap":{"line":7,"column":5}}},"dagreKey":"place-7x5-PCConditionDecl-a","width":160,"height":80},"place-7x40-PCIdentifierExpression":{"type":"place","place":{"key":"7x40-PCIdentifierExpression","displayName":"7x40-PCIdentifierExpression","extensions":{"sourcemap":{"line":7,"column":40}}},"dagreKey":"place-7x40-PCIdentifierExpression","width":160,"height":80},"place-6x5-PCConditionDecl":{"type":"place","place":{"key":"6x5-PCConditionDecl","displayName":"6x5-PCConditionDecl","extensions":{"sourcemap":{"line":6,"column":5}}},"dagreKey":"place-6x5-PCConditionDecl","width":160,"height":80},"place-6x5-PCConditionDecl-d":{"type":"place","place":{"key":"6x5-PCConditionDecl-d","displayName":"6x5-PCConditionDecl","extensions":{"sourcemap":{"line":6,"column":5}}},"dagreKey":"place-6x5-PCConditionDecl-d","width":160,"height":80},"place-6x5-PCConditionDecl-q":{"type":"place","place":{"key":"6x5-PCConditionDecl-q","displayName":"6x5-PCConditionDecl","extensions":{"sourcemap":{"line":6,"column":5}}},"dagreKey":"place-6x5-PCConditionDecl-q","width":160,"height":80},"place-6x40-PCIdentifierExpression":{"type":"place","place":{"key":"6x40-PCIdentifierExpression","displayName":"6x40-PCIdentifierExpression","extensions":{"sourcemap":{"line":6,"column":40}}},"dagreKey":"place-6x40-PCIdentifierExpression","width":160,"height":80},"place-6x59-PCIdentifierExpression":{"type":"place","place":{"key":"6x59-PCIdentifierExpression","displayName":"6x59-PCIdentifierExpression","extensions":{"sourcemap":{"line":6,"column":59}}},"dagreKey":"place-6x59-PCIdentifierExpression","width":160,"height":80},"place-4x9-PCVariableDeclarator":{"type":"place","place":{"key":"4x9-PCVariableDeclarator","displayName":"4x9-PCVariableDeclarator","extensions":{"sourcemap":{"line":4,"column":9}}},"dagreKey":"place-4x9-PCVariableDeclarator","width":160,"height":80},"place-3x10-PCVariableDeclarator":{"type":"place","place":{"key":"3x10-PCVariableDeclarator","displayName":"3x10-PCVariableDeclarator","extensions":{"sourcemap":{"line":3,"column":10}}},"dagreKey":"place-3x10-PCVariableDeclarator","width":160,"height":80},"place-2x9-PCVariableDeclarator":{"type":"place","place":{"key":"2x9-PCVariableDeclarator","displayName":"2x9-PCVariableDeclarator","extensions":{"sourcemap":{"line":2,"column":9}}},"dagreKey":"place-2x9-PCVariableDeclarator","width":160,"height":80},"place-agent-generator":{"type":"place","place":{"key":"agent-generator","displayName":"agent generator","extensions":{}},"dagreKey":"place-agent-generator","width":160,"height":80},"place-agent-graveyard":{"type":"place","place":{"key":"agent-graveyard","displayName":"agent graveyard","extensions":{}},"dagreKey":"place-agent-graveyard","width":160,"height":80},"place-mutex-gen":{"type":"place","place":{"key":"mutex-gen","displayName":"mutex generator","extensions":{}},"dagreKey":"place-mutex-gen","width":160,"height":80},"place-mutex-store":{"type":"place","place":{"key":"mutex-store","displayName":"mutex store","extensions":{}},"dagreKey":"place-mutex-store","width":160,"height":80},"place-async-chan-gen":{"type":"place","place":{"key":"async-chan-gen","displayName":"asynchronous channel generator","extensions":{}},"dagreKey":"place-async-chan-gen","width":160,"height":80},"place-sync-chan-gen":{"type":"place","place":{"key":"sync-chan-gen","displayName":"synchronous channel generator","extensions":{}},"dagreKey":"place-sync-chan-gen","width":160,"height":80},"place-async-chan-store":{"type":"place","place":{"key":"async-chan-store","displayName":"asynchronous channel store","extensions":{}},"dagreKey":"place-async-chan-store","width":160,"height":80},"place-condition-gen":{"type":"place","place":{"key":"condition-gen","displayName":"condition generator","extensions":{}},"dagreKey":"place-condition-gen","width":160,"height":80},"place-condition-store":{"type":"place","place":{"key":"condition-store","displayName":"condition store","extensions":{}},"dagreKey":"place-condition-store","width":160,"height":80},"place-condition-signal-relay-ready":{"type":"place","place":{"key":"condition-signal-relay-ready","displayName":"condition signal relay system (ready)","extensions":{}},"dagreKey":"place-condition-signal-relay-ready","width":160,"height":80},"place-condition-signal-relay-signaling":{"type":"place","place":{"key":"condition-signal-relay-signaling","displayName":"condition signal relay system (signaling)","extensions":{}},"dagreKey":"place-condition-signal-relay-signaling","width":160,"height":80},"place-global-structs":{"type":"place","place":{"key":"global-structs","displayName":"global-structs","extensions":{"plusplus":{"type":"global-variable","variableName":"structs"}}},"dagreKey":"place-global-structs","width":160,"height":80},"place-global-nextStructId":{"type":"place","place":{"key":"global-nextStructId","displayName":"global-nextStructId","extensions":{"plusplus":{"type":"global-variable","variableName":"nextStructId"}}},"dagreKey":"place-global-nextStructId","width":160,"height":80},"place-return-from-constructor-RWMutex-returning":{"type":"place","place":{"key":"return-from-constructor-RWMutex-returning","displayName":"return-from-constructor-RWMutex-returning","extensions":{}},"dagreKey":"place-return-from-constructor-RWMutex-returning","width":160,"height":80},"place-return-from-unlockRead-returning":{"type":"place","place":{"key":"return-from-unlockRead-returning","displayName":"return-from-unlockRead-returning","extensions":{}},"dagreKey":"place-return-from-unlockRead-returning","width":160,"height":80},"place-return-from-unlockWrite-returning":{"type":"place","place":{"key":"return-from-unlockWrite-returning","displayName":"return-from-unlockWrite-returning","extensions":{}},"dagreKey":"place-return-from-unlockWrite-returning","width":160,"height":80},"place-return-from-lockRead-returning":{"type":"place","place":{"key":"return-from-lockRead-returning","displayName":"return-from-lockRead-returning","extensions":{}},"dagreKey":"place-return-from-lockRead-returning","width":160,"height":80},"place-return-from-lockWrite-returning":{"type":"place","place":{"key":"return-from-lockWrite-returning","displayName":"return-from-lockWrite-returning","extensions":{}},"dagreKey":"place-return-from-lockWrite-returning","width":160,"height":80},"place-await-condition-lockFreeForWriters-awaiting-signal":{"type":"place","place":{"key":"await-condition-lockFreeForWriters-awaiting-signal","displayName":"awaiting signal","extensions":{"sourcemap":{"line":7,"column":5},"plusplus":{"type":"condition-await-waiting-for-signal"}}},"dagreKey":"place-await-condition-lockFreeForWriters-awaiting-signal","width":160,"height":80},"place-await-condition-lockFreeForWriters-reobtaining-mutex":{"type":"place","place":{"key":"await-condition-lockFreeForWriters-reobtaining-mutex","displayName":"reobtaining mutex","extensions":{"sourcemap":{"line":7,"column":5},"plusplus":{"type":"condition-await-reobtaining-mutex"}}},"dagreKey":"place-await-condition-lockFreeForWriters-reobtaining-mutex","width":160,"height":80},"place-return-from-await-lockFreeForWriters-returning":{"type":"place","place":{"key":"return-from-await-lockFreeForWriters-returning","displayName":"return-from-await-lockFreeForWriters-returning","extensions":{}},"dagreKey":"place-return-from-await-lockFreeForWriters-returning","width":160,"height":80},"place-await-condition-lockFreeForReaders-awaiting-signal":{"type":"place","place":{"key":"await-condition-lockFreeForReaders-awaiting-signal","displayName":"awaiting signal","extensions":{"sourcemap":{"line":6,"column":5},"plusplus":{"type":"condition-await-waiting-for-signal"}}},"dagreKey":"place-await-condition-lockFreeForReaders-awaiting-signal","width":160,"height":80},"place-await-condition-lockFreeForReaders-reobtaining-mutex":{"type":"place","place":{"key":"await-condition-lockFreeForReaders-reobtaining-mutex","displayName":"reobtaining mutex","extensions":{"sourcemap":{"line":6,"column":5},"plusplus":{"type":"condition-await-reobtaining-mutex"}}},"dagreKey":"place-await-condition-lockFreeForReaders-reobtaining-mutex","width":160,"height":80},"place-return-from-await-lockFreeForReaders-returning":{"type":"place","place":{"key":"return-from-await-lockFreeForReaders-returning","displayName":"return-from-await-lockFreeForReaders-returning","extensions":{}},"dagreKey":"place-return-from-await-lockFreeForReaders-returning","width":160,"height":80},"place-call-await-lockFreeForReaders-awaiting-return":{"type":"place","place":{"key":"call-await-lockFreeForReaders-awaiting-return","displayName":"awaiting return","extensions":{"sourcemap":{"line":19,"column":9}}},"dagreKey":"place-call-await-lockFreeForReaders-awaiting-return","width":160,"height":80},"place-call-await-lockFreeForReaders-called":{"type":"place","place":{"key":"call-await-lockFreeForReaders-called","displayName":"called","extensions":{"sourcemap":{"line":6,"column":5}}},"dagreKey":"place-call-await-lockFreeForReaders-called","width":160,"height":80},"place-call-await-lockFreeForWriters-awaiting-return":{"type":"place","place":{"key":"call-await-lockFreeForWriters-awaiting-return","displayName":"awaiting return","extensions":{"sourcemap":{"line":12,"column":9}}},"dagreKey":"place-call-await-lockFreeForWriters-awaiting-return","width":160,"height":80},"place-call-await-lockFreeForWriters-called":{"type":"place","place":{"key":"call-await-lockFreeForWriters-called","displayName":"called","extensions":{"sourcemap":{"line":7,"column":5}}},"dagreKey":"place-call-await-lockFreeForWriters-called","width":160,"height":80},"transition-process-return-b":{"type":"transition","transition":{"key":"process-return-b","displayName":"process-return","guard":"callerAgent.id == calleeAgent.id && callerAgent.rd == calleeAgent.rd - 1","inFlows":[{"source":"call-await-lockFreeForWriters-awaiting-return","pattern":"{ agent : callerAgent, vars }"},{"source":"return-from-lockWrite-returning","pattern":"{ agent : calleeAgent, ret }"}],"outFlows":[{"target":"13x9-PCStmtExpression","expression":"{ agent : callerAgent, vars: { ...vars, sub0 : ret } }"}],"extensions":{"graphlayout":{"role":"auxiliary"}}},"dagreKey":"transition-process-return-b","width":200,"height":50},"transition-process-return-x-v":{"type":"transition","transition":{"key":"process-return-x-v","displayName":"process-return","guard":"callerAgent.id == calleeAgent.id && callerAgent.rd == calleeAgent.rd - 1","inFlows":[{"source":"call-await-lockFreeForWriters-awaiting-return","pattern":"{ agent : callerAgent, vars }"},{"source":"return-from-await-lockFreeForWriters-returning","pattern":"{ agent : calleeAgent, ret }"}],"outFlows":[{"target":"13x9-PCStmtExpression","expression":"{ agent : callerAgent, vars: { ...vars, sub0 : ret } }"}],"extensions":{"graphlayout":{"role":"auxiliary"}}},"dagreKey":"transition-process-return-x-v","width":200,"height":50},"transition-process-return-n":{"type":"transition","transition":{"key":"process-return-n","displayName":"process-return","guard":"callerAgent.id == calleeAgent.id && callerAgent.rd == calleeAgent.rd - 1","inFlows":[{"source":"call-await-lockFreeForWriters-awaiting-return","pattern":"{ agent : callerAgent, vars }"},{"source":"return-from-await-lockFreeForReaders-returning","pattern":"{ agent : calleeAgent, ret }"}],"outFlows":[{"target":"13x9-PCStmtExpression","expression":"{ agent : callerAgent, vars: { ...vars, sub0 : ret } }"}],"extensions":{"graphlayout":{"role":"auxiliary"}}},"dagreKey":"transition-process-return-n","width":200,"height":50}},"_in":{"place-14x9-PCAssignExpression":{},"place-13x9-PCStmtExpression":{"transition-process-return-b\u0001place-13x9-PCStmtExpression\u0001\u0000":{"v":"transition-process-return-b","w":"place-13x9-PCStmtExpression"},"transition-process-return-x-v\u0001place-13x9-PCStmtExpression\u0001\u0000":{"v":"transition-process-return-x-v","w":"place-13x9-PCStmtExpression"},"transition-process-return-n\u0001place-13x9-PCStmtExpression\u0001\u0000":{"v":"transition-process-return-n","w":"place-13x9-PCStmtExpression"}},"place-13x9-PCPostfixExpression":{},"place-13x9-PCPostfixExpression-7":{},"place-12x9-PCPrimitiveStmt":{},"place-11x9-PCStmtExpression":{},"place-11x9-PCPostfixExpression":{},"place-11x9-PCPostfixExpression-i":{},"place-9x5-PCProcedureDecl-m":{},"place-9x5-PCProcedureDecl-i":{},"place-9x5-PCProcedureDecl-h":{},"place-7x5-PCConditionDecl":{},"place-7x5-PCConditionDecl-r":{},"place-7x5-PCConditionDecl-a":{},"place-7x40-PCIdentifierExpression":{},"place-6x5-PCConditionDecl":{},"place-6x5-PCConditionDecl-d":{},"place-6x5-PCConditionDecl-q":{},"place-6x40-PCIdentifierExpression":{},"place-6x59-PCIdentifierExpression":{},"place-4x9-PCVariableDeclarator":{},"place-3x10-PCVariableDeclarator":{},"place-2x9-PCVariableDeclarator":{},"place-agent-generator":{},"place-agent-graveyard":{},"place-mutex-gen":{},"place-mutex-store":{},"place-async-chan-gen":{},"place-sync-chan-gen":{},"place-async-chan-store":{},"place-condition-gen":{},"place-condition-store":{},"place-condition-signal-relay-ready":{},"place-condition-signal-relay-signaling":{},"place-global-structs":{},"place-global-nextStructId":{},"place-return-from-constructor-RWMutex-returning":{},"place-return-from-unlockRead-returning":{},"place-return-from-unlockWrite-returning":{},"place-return-from-lockRead-returning":{},"place-return-from-lockWrite-returning":{},"place-await-condition-lockFreeForWriters-awaiting-signal":{},"place-await-condition-lockFreeForWriters-reobtaining-mutex":{},"place-return-from-await-lockFreeForWriters-returning":{},"place-await-condition-lockFreeForReaders-awaiting-signal":{},"place-await-condition-lockFreeForReaders-reobtaining-mutex":{},"place-return-from-await-lockFreeForReaders-returning":{},"place-call-await-lockFreeForReaders-awaiting-return":{},"place-call-await-lockFreeForReaders-called":{},"place-call-await-lockFreeForWriters-awaiting-return":{},"place-call-await-lockFreeForWriters-called":{},"transition-process-return-b":{"place-call-await-lockFreeForWriters-awaiting-return\u0001transition-process-return-b\u0001\u0000":{"v":"place-call-await-lockFreeForWriters-awaiting-return","w":"transition-process-return-b"},"place-return-from-lockWrite-returning\u0001transition-process-return-b\u0001\u0000":{"v":"place-return-from-lockWrite-returning","w":"transition-process-return-b"}},"transition-process-return-x-v":{"place-call-await-lockFreeForWriters-awaiting-return\u0001transition-process-return-x-v\u0001\u0000":{"v":"place-call-await-lockFreeForWriters-awaiting-return","w":"transition-process-return-x-v"},"place-return-from-await-lockFreeForWriters-returning\u0001transition-process-return-x-v\u0001\u0000":{"v":"place-return-from-await-lockFreeForWriters-returning","w":"transition-process-return-x-v"}},"transition-process-return-n":{"place-call-await-lockFreeForWriters-awaiting-return\u0001transition-process-return-n\u0001\u0000":{"v":"place-call-await-lockFreeForWriters-awaiting-return","w":"transition-process-return-n"},"place-return-from-await-lockFreeForReaders-returning\u0001transition-process-return-n\u0001\u0000":{"v":"place-return-from-await-lockFreeForReaders-returning","w":"transition-process-return-n"}}},"_preds":{"place-14x9-PCAssignExpression":{},"place-13x9-PCStmtExpression":{"transition-process-return-b":1,"transition-process-return-x-v":1,"transition-process-return-n":1},"place-13x9-PCPostfixExpression":{},"place-13x9-PCPostfixExpression-7":{},"place-12x9-PCPrimitiveStmt":{},"place-11x9-PCStmtExpression":{},"place-11x9-PCPostfixExpression":{},"place-11x9-PCPostfixExpression-i":{},"place-9x5-PCProcedureDecl-m":{},"place-9x5-PCProcedureDecl-i":{},"place-9x5-PCProcedureDecl-h":{},"place-7x5-PCConditionDecl":{},"place-7x5-PCConditionDecl-r":{},"place-7x5-PCConditionDecl-a":{},"place-7x40-PCIdentifierExpression":{},"place-6x5-PCConditionDecl":{},"place-6x5-PCConditionDecl-d":{},"place-6x5-PCConditionDecl-q":{},"place-6x40-PCIdentifierExpression":{},"place-6x59-PCIdentifierExpression":{},"place-4x9-PCVariableDeclarator":{},"place-3x10-PCVariableDeclarator":{},"place-2x9-PCVariableDeclarator":{},"place-agent-generator":{},"place-agent-graveyard":{},"place-mutex-gen":{},"place-mutex-store":{},"place-async-chan-gen":{},"place-sync-chan-gen":{},"place-async-chan-store":{},"place-condition-gen":{},"place-condition-store":{},"place-condition-signal-relay-ready":{},"place-condition-signal-relay-signaling":{},"place-global-structs":{},"place-global-nextStructId":{},"place-return-from-constructor-RWMutex-returning":{},"place-return-from-unlockRead-returning":{},"place-return-from-unlockWrite-returning":{},"place-return-from-lockRead-returning":{},"place-return-from-lockWrite-returning":{},"place-await-condition-lockFreeForWriters-awaiting-signal":{},"place-await-condition-lockFreeForWriters-reobtaining-mutex":{},"place-return-from-await-lockFreeForWriters-returning":{},"place-await-condition-lockFreeForReaders-awaiting-signal":{},"place-await-condition-lockFreeForReaders-reobtaining-mutex":{},"place-return-from-await-lockFreeForReaders-returning":{},"place-call-await-lockFreeForReaders-awaiting-return":{},"place-call-await-lockFreeForReaders-called":{},"place-call-await-lockFreeForWriters-awaiting-return":{},"place-call-await-lockFreeForWriters-called":{},"transition-process-return-b":{"place-call-await-lockFreeForWriters-awaiting-return":1,"place-return-from-lockWrite-returning":1},"transition-process-return-x-v":{"place-call-await-lockFreeForWriters-awaiting-return":1,"place-return-from-await-lockFreeForWriters-returning":1},"transition-process-return-n":{"place-call-await-lockFreeForWriters-awaiting-return":1,"place-return-from-await-lockFreeForReaders-returning":1}},"_out":{"place-14x9-PCAssignExpression":{},"place-13x9-PCStmtExpression":{},"place-13x9-PCPostfixExpression":{},"place-13x9-PCPostfixExpression-7":{},"place-12x9-PCPrimitiveStmt":{},"place-11x9-PCStmtExpression":{},"place-11x9-PCPostfixExpression":{},"place-11x9-PCPostfixExpression-i":{},"place-9x5-PCProcedureDecl-m":{},"place-9x5-PCProcedureDecl-i":{},"place-9x5-PCProcedureDecl-h":{},"place-7x5-PCConditionDecl":{},"place-7x5-PCConditionDecl-r":{},"place-7x5-PCConditionDecl-a":{},"place-7x40-PCIdentifierExpression":{},"place-6x5-PCConditionDecl":{},"place-6x5-PCConditionDecl-d":{},"place-6x5-PCConditionDecl-q":{},"place-6x40-PCIdentifierExpression":{},"place-6x59-PCIdentifierExpression":{},"place-4x9-PCVariableDeclarator":{},"place-3x10-PCVariableDeclarator":{},"place-2x9-PCVariableDeclarator":{},"place-agent-generator":{},"place-agent-graveyard":{},"place-mutex-gen":{},"place-mutex-store":{},"place-async-chan-gen":{},"place-sync-chan-gen":{},"place-async-chan-store":{},"place-condition-gen":{},"place-condition-store":{},"place-condition-signal-relay-ready":{},"place-condition-signal-relay-signaling":{},"place-global-structs":{},"place-global-nextStructId":{},"place-return-from-constructor-RWMutex-returning":{},"place-return-from-unlockRead-returning":{},"place-return-from-unlockWrite-returning":{},"place-return-from-lockRead-returning":{},"place-return-from-lockWrite-returning":{"place-return-from-lockWrite-returning\u0001transition-process-return-b\u0001\u0000":{"v":"place-return-from-lockWrite-returning","w":"transition-process-return-b"}},"place-await-condition-lockFreeForWriters-awaiting-signal":{},"place-await-condition-lockFreeForWriters-reobtaining-mutex":{},"place-return-from-await-lockFreeForWriters-returning":{"place-return-from-await-lockFreeForWriters-returning\u0001transition-process-return-x-v\u0001\u0000":{"v":"place-return-from-await-lockFreeForWriters-returning","w":"transition-process-return-x-v"}},"place-await-condition-lockFreeForReaders-awaiting-signal":{},"place-await-condition-lockFreeForReaders-reobtaining-mutex":{},"place-return-from-await-lockFreeForReaders-returning":{"place-return-from-await-lockFreeForReaders-returning\u0001transition-process-return-n\u0001\u0000":{"v":"place-return-from-await-lockFreeForReaders-returning","w":"transition-process-return-n"}},"place-call-await-lockFreeForReaders-awaiting-return":{},"place-call-await-lockFreeForReaders-called":{},"place-call-await-lockFreeForWriters-awaiting-return":{"place-call-await-lockFreeForWriters-awaiting-return\u0001transition-process-return-b\u0001\u0000":{"v":"place-call-await-lockFreeForWriters-awaiting-return","w":"transition-process-return-b"},"place-call-await-lockFreeForWriters-awaiting-return\u0001transition-process-return-x-v\u0001\u0000":{"v":"place-call-await-lockFreeForWriters-awaiting-return","w":"transition-process-return-x-v"},"place-call-await-lockFreeForWriters-awaiting-return\u0001transition-process-return-n\u0001\u0000":{"v":"place-call-await-lockFreeForWriters-awaiting-return","w":"transition-process-return-n"}},"place-call-await-lockFreeForWriters-called":{},"transition-process-return-b":{"transition-process-return-b\u0001place-13x9-PCStmtExpression\u0001\u0000":{"v":"transition-process-return-b","w":"place-13x9-PCStmtExpression"}},"transition-process-return-x-v":{"transition-process-return-x-v\u0001place-13x9-PCStmtExpression\u0001\u0000":{"v":"transition-process-return-x-v","w":"place-13x9-PCStmtExpression"}},"transition-process-return-n":{"transition-process-return-n\u0001place-13x9-PCStmtExpression\u0001\u0000":{"v":"transition-process-return-n","w":"place-13x9-PCStmtExpression"}}},"_sucs":{"place-14x9-PCAssignExpression":{},"place-13x9-PCStmtExpression":{},"place-13x9-PCPostfixExpression":{},"place-13x9-PCPostfixExpression-7":{},"place-12x9-PCPrimitiveStmt":{},"place-11x9-PCStmtExpression":{},"place-11x9-PCPostfixExpression":{},"place-11x9-PCPostfixExpression-i":{},"place-9x5-PCProcedureDecl-m":{},"place-9x5-PCProcedureDecl-i":{},"place-9x5-PCProcedureDecl-h":{},"place-7x5-PCConditionDecl":{},"place-7x5-PCConditionDecl-r":{},"place-7x5-PCConditionDecl-a":{},"place-7x40-PCIdentifierExpression":{},"place-6x5-PCConditionDecl":{},"place-6x5-PCConditionDecl-d":{},"place-6x5-PCConditionDecl-q":{},"place-6x40-PCIdentifierExpression":{},"place-6x59-PCIdentifierExpression":{},"place-4x9-PCVariableDeclarator":{},"place-3x10-PCVariableDeclarator":{},"place-2x9-PCVariableDeclarator":{},"place-agent-generator":{},"place-agent-graveyard":{},"place-mutex-gen":{},"place-mutex-store":{},"place-async-chan-gen":{},"place-sync-chan-gen":{},"place-async-chan-store":{},"place-condition-gen":{},"place-condition-store":{},"place-condition-signal-relay-ready":{},"place-condition-signal-relay-signaling":{},"place-global-structs":{},"place-global-nextStructId":{},"place-return-from-constructor-RWMutex-returning":{},"place-return-from-unlockRead-returning":{},"place-return-from-unlockWrite-returning":{},"place-return-from-lockRead-returning":{},"place-return-from-lockWrite-returning":{"transition-process-return-b":1},"place-await-condition-lockFreeForWriters-awaiting-signal":{},"place-await-condition-lockFreeForWriters-reobtaining-mutex":{},"place-return-from-await-lockFreeForWriters-returning":{"transition-process-return-x-v":1},"place-await-condition-lockFreeForReaders-awaiting-signal":{},"place-await-condition-lockFreeForReaders-reobtaining-mutex":{},"place-return-from-await-lockFreeForReaders-returning":{"transition-process-return-n":1},"place-call-await-lockFreeForReaders-awaiting-return":{},"place-call-await-lockFreeForReaders-called":{},"place-call-await-lockFreeForWriters-awaiting-return":{"transition-process-return-b":1,"transition-process-return-x-v":1,"transition-process-return-n":1},"place-call-await-lockFreeForWriters-called":{},"transition-process-return-b":{"place-13x9-PCStmtExpression":1},"transition-process-return-x-v":{"place-13x9-PCStmtExpression":1},"transition-process-return-n":{"place-13x9-PCStmtExpression":1}},"_edgeObjs":{"place-call-await-lockFreeForWriters-awaiting-return\u0001transition-process-return-b\u0001\u0000":{"v":"place-call-await-lockFreeForWriters-awaiting-return","w":"transition-process-return-b"},"place-return-from-lockWrite-returning\u0001transition-process-return-b\u0001\u0000":{"v":"place-return-from-lockWrite-returning","w":"transition-process-return-b"},"transition-process-return-b\u0001place-13x9-PCStmtExpression\u0001\u0000":{"v":"transition-process-return-b","w":"place-13x9-PCStmtExpression"},"place-call-await-lockFreeForWriters-awaiting-return\u0001transition-process-return-x-v\u0001\u0000":{"v":"place-call-await-lockFreeForWriters-awaiting-return","w":"transition-process-return-x-v"},"place-return-from-await-lockFreeForWriters-returning\u0001transition-process-return-x-v\u0001\u0000":{"v":"place-return-from-await-lockFreeForWriters-returning","w":"transition-process-return-x-v"},"transition-process-return-x-v\u0001place-13x9-PCStmtExpression\u0001\u0000":{"v":"transition-process-return-x-v","w":"place-13x9-PCStmtExpression"},"place-call-await-lockFreeForWriters-awaiting-return\u0001transition-process-return-n\u0001\u0000":{"v":"place-call-await-lockFreeForWriters-awaiting-return","w":"transition-process-return-n"},"place-return-from-await-lockFreeForReaders-returning\u0001transition-process-return-n\u0001\u0000":{"v":"place-return-from-await-lockFreeForReaders-returning","w":"transition-process-return-n"},"transition-process-return-n\u0001place-13x9-PCStmtExpression\u0001\u0000":{"v":"transition-process-return-n","w":"place-13x9-PCStmtExpression"}},"_edgeLabels":{"place-call-await-lockFreeForWriters-awaiting-return\u0001transition-process-return-b\u0001\u0000":{"type":"flow","direction":"in","flow":{"source":"call-await-lockFreeForWriters-awaiting-return","pattern":"{ agent : callerAgent, vars }"},"graphLayoutRole":"auxiliary","startsAt":{"type":"place","place":{"key":"call-await-lockFreeForWriters-awaiting-return","displayName":"awaiting return","extensions":{"sourcemap":{"line":12,"column":9}}},"dagreKey":"place-call-await-lockFreeForWriters-awaiting-return","width":160,"height":80},"endsAt":{"type":"transition","transition":{"key":"process-return-b","displayName":"process-return","guard":"callerAgent.id == calleeAgent.id && callerAgent.rd == calleeAgent.rd - 1","inFlows":[{"source":"call-await-lockFreeForWriters-awaiting-return","pattern":"{ agent : callerAgent, vars }"},{"source":"return-from-lockWrite-returning","pattern":"{ agent : calleeAgent, ret }"}],"outFlows":[{"target":"13x9-PCStmtExpression","expression":"{ agent : callerAgent, vars: { ...vars, sub0 : ret } }"}],"extensions":{"graphlayout":{"role":"auxiliary"}}},"dagreKey":"transition-process-return-b","width":200,"height":50}},"place-return-from-lockWrite-returning\u0001transition-process-return-b\u0001\u0000":{"type":"flow","direction":"in","flow":{"source":"return-from-lockWrite-returning","pattern":"{ agent : calleeAgent, ret }"},"graphLayoutRole":"auxiliary","startsAt":{"type":"place","place":{"key":"return-from-lockWrite-returning","displayName":"return-from-lockWrite-returning","extensions":{}},"dagreKey":"place-return-from-lockWrite-returning","width":160,"height":80},"endsAt":{"type":"transition","transition":{"key":"process-return-b","displayName":"process-return","guard":"callerAgent.id == calleeAgent.id && callerAgent.rd == calleeAgent.rd - 1","inFlows":[{"source":"call-await-lockFreeForWriters-awaiting-return","pattern":"{ agent : callerAgent, vars }"},{"source":"return-from-lockWrite-returning","pattern":"{ agent : calleeAgent, ret }"}],"outFlows":[{"target":"13x9-PCStmtExpression","expression":"{ agent : callerAgent, vars: { ...vars, sub0 : ret } }"}],"extensions":{"graphlayout":{"role":"auxiliary"}}},"dagreKey":"transition-process-return-b","width":200,"height":50}},"transition-process-return-b\u0001place-13x9-PCStmtExpression\u0001\u0000":{"type":"flow","direction":"out","flow":{"target":"13x9-PCStmtExpression","expression":"{ agent : callerAgent, vars: { ...vars, sub0 : ret } }"},"graphLayoutRole":"auxiliary","startsAt":{"type":"transition","transition":{"key":"process-return-b","displayName":"process-return","guard":"callerAgent.id == calleeAgent.id && callerAgent.rd == calleeAgent.rd - 1","inFlows":[{"source":"call-await-lockFreeForWriters-awaiting-return","pattern":"{ agent : callerAgent, vars }"},{"source":"return-from-lockWrite-returning","pattern":"{ agent : calleeAgent, ret }"}],"outFlows":[{"target":"13x9-PCStmtExpression","expression":"{ agent : callerAgent, vars: { ...vars, sub0 : ret } }"}],"extensions":{"graphlayout":{"role":"auxiliary"}}},"dagreKey":"transition-process-return-b","width":200,"height":50},"endsAt":{"type":"place","place":{"key":"13x9-PCStmtExpression","displayName":"13x9-PCStmtExpression","extensions":{"sourcemap":{"line":13,"column":9}}},"dagreKey":"place-13x9-PCStmtExpression","width":160,"height":80},"weight":0.05},"place-call-await-lockFreeForWriters-awaiting-return\u0001transition-process-return-x-v\u0001\u0000":{"type":"flow","direction":"in","flow":{"source":"call-await-lockFreeForWriters-awaiting-return","pattern":"{ agent : callerAgent, vars }"},"graphLayoutRole":"auxiliary","startsAt":{"type":"place","place":{"key":"call-await-lockFreeForWriters-awaiting-return","displayName":"awaiting return","extensions":{"sourcemap":{"line":12,"column":9}}},"dagreKey":"place-call-await-lockFreeForWriters-awaiting-return","width":160,"height":80},"endsAt":{"type":"transition","transition":{"key":"process-return-x-v","displayName":"process-return","guard":"callerAgent.id == calleeAgent.id && callerAgent.rd == calleeAgent.rd - 1","inFlows":[{"source":"call-await-lockFreeForWriters-awaiting-return","pattern":"{ agent : callerAgent, vars }"},{"source":"return-from-await-lockFreeForWriters-returning","pattern":"{ agent : calleeAgent, ret }"}],"outFlows":[{"target":"13x9-PCStmtExpression","expression":"{ agent : callerAgent, vars: { ...vars, sub0 : ret } }"}],"extensions":{"graphlayout":{"role":"auxiliary"}}},"dagreKey":"transition-process-return-x-v","width":200,"height":50}},"place-return-from-await-lockFreeForWriters-returning\u0001transition-process-return-x-v\u0001\u0000":{"type":"flow","direction":"in","flow":{"source":"return-from-await-lockFreeForWriters-returning","pattern":"{ agent : calleeAgent, ret }"},"graphLayoutRole":"auxiliary","startsAt":{"type":"place","place":{"key":"return-from-await-lockFreeForWriters-returning","displayName":"return-from-await-lockFreeForWriters-returning","extensions":{}},"dagreKey":"place-return-from-await-lockFreeForWriters-returning","width":160,"height":80},"endsAt":{"type":"transition","transition":{"key":"process-return-x-v","displayName":"process-return","guard":"callerAgent.id == calleeAgent.id && callerAgent.rd == calleeAgent.rd - 1","inFlows":[{"source":"call-await-lockFreeForWriters-awaiting-return","pattern":"{ agent : callerAgent, vars }"},{"source":"return-from-await-lockFreeForWriters-returning","pattern":"{ agent : calleeAgent, ret }"}],"outFlows":[{"target":"13x9-PCStmtExpression","expression":"{ agent : callerAgent, vars: { ...vars, sub0 : ret } }"}],"extensions":{"graphlayout":{"role":"auxiliary"}}},"dagreKey":"transition-process-return-x-v","width":200,"height":50}},"transition-process-return-x-v\u0001place-13x9-PCStmtExpression\u0001\u0000":{"type":"flow","direction":"out","flow":{"target":"13x9-PCStmtExpression","expression":"{ agent : callerAgent, vars: { ...vars, sub0 : ret } }"},"graphLayoutRole":"auxiliary","startsAt":{"type":"transition","transition":{"key":"process-return-x-v","displayName":"process-return","guard":"callerAgent.id == calleeAgent.id && callerAgent.rd == calleeAgent.rd - 1","inFlows":[{"source":"call-await-lockFreeForWriters-awaiting-return","pattern":"{ agent : callerAgent, vars }"},{"source":"return-from-await-lockFreeForWriters-returning","pattern":"{ agent : calleeAgent, ret }"}],"outFlows":[{"target":"13x9-PCStmtExpression","expression":"{ agent : callerAgent, vars: { ...vars, sub0 : ret } }"}],"extensions":{"graphlayout":{"role":"auxiliary"}}},"dagreKey":"transition-process-return-x-v","width":200,"height":50},"endsAt":{"type":"place","place":{"key":"13x9-PCStmtExpression","displayName":"13x9-PCStmtExpression","extensions":{"sourcemap":{"line":13,"column":9}}},"dagreKey":"place-13x9-PCStmtExpression","width":160,"height":80},"weight":0.05},"place-call-await-lockFreeForWriters-awaiting-return\u0001transition-process-return-n\u0001\u0000":{"type":"flow","direction":"in","flow":{"source":"call-await-lockFreeForWriters-awaiting-return","pattern":"{ agent : callerAgent, vars }"},"graphLayoutRole":"auxiliary","startsAt":{"type":"place","place":{"key":"call-await-lockFreeForWriters-awaiting-return","displayName":"awaiting return","extensions":{"sourcemap":{"line":12,"column":9}}},"dagreKey":"place-call-await-lockFreeForWriters-awaiting-return","width":160,"height":80},"endsAt":{"type":"transition","transition":{"key":"process-return-n","displayName":"process-return","guard":"callerAgent.id == calleeAgent.id && callerAgent.rd == calleeAgent.rd - 1","inFlows":[{"source":"call-await-lockFreeForWriters-awaiting-return","pattern":"{ agent : callerAgent, vars }"},{"source":"return-from-await-lockFreeForReaders-returning","pattern":"{ agent : calleeAgent, ret }"}],"outFlows":[{"target":"13x9-PCStmtExpression","expression":"{ agent : callerAgent, vars: { ...vars, sub0 : ret } }"}],"extensions":{"graphlayout":{"role":"auxiliary"}}},"dagreKey":"transition-process-return-n","width":200,"height":50}},"place-return-from-await-lockFreeForReaders-returning\u0001transition-process-return-n\u0001\u0000":{"type":"flow","direction":"in","flow":{"source":"return-from-await-lockFreeForReaders-returning","pattern":"{ agent : calleeAgent, ret }"},"graphLayoutRole":"auxiliary","startsAt":{"type":"place","place":{"key":"return-from-await-lockFreeForReaders-returning","displayName":"return-from-await-lockFreeForReaders-returning","extensions":{}},"dagreKey":"place-return-from-await-lockFreeForReaders-returning","width":160,"height":80},"endsAt":{"type":"transition","transition":{"key":"process-return-n","displayName":"process-return","guard":"callerAgent.id == calleeAgent.id && callerAgent.rd == calleeAgent.rd - 1","inFlows":[{"source":"call-await-lockFreeForWriters-awaiting-return","pattern":"{ agent : callerAgent, vars }"},{"source":"return-from-await-lockFreeForReaders-returning","pattern":"{ agent : calleeAgent, ret }"}],"outFlows":[{"target":"13x9-PCStmtExpression","expression":"{ agent : callerAgent, vars: { ...vars, sub0 : ret } }"}],"extensions":{"graphlayout":{"role":"auxiliary"}}},"dagreKey":"transition-process-return-n","width":200,"height":50}},"transition-process-return-n\u0001place-13x9-PCStmtExpression\u0001\u0000":{"type":"flow","direction":"out","flow":{"target":"13x9-PCStmtExpression","expression":"{ agent : callerAgent, vars: { ...vars, sub0 : ret } }"},"graphLayoutRole":"auxiliary","startsAt":{"type":"transition","transition":{"key":"process-return-n","displayName":"process-return","guard":"callerAgent.id == calleeAgent.id && callerAgent.rd == calleeAgent.rd - 1","inFlows":[{"source":"call-await-lockFreeForWriters-awaiting-return","pattern":"{ agent : callerAgent, vars }"},{"source":"return-from-await-lockFreeForReaders-returning","pattern":"{ agent : calleeAgent, ret }"}],"outFlows":[{"target":"13x9-PCStmtExpression","expression":"{ agent : callerAgent, vars: { ...vars, sub0 : ret } }"}],"extensions":{"graphlayout":{"role":"auxiliary"}}},"dagreKey":"transition-process-return-n","width":200,"height":50},"endsAt":{"type":"place","place":{"key":"13x9-PCStmtExpression","displayName":"13x9-PCStmtExpression","extensions":{"sourcemap":{"line":13,"column":9}}},"dagreKey":"place-13x9-PCStmtExpression","width":160,"height":80},"weight":0.05}},"_nodeCount":54,"_edgeCount":9}

[rolyatmax]

Ran into this error, too. Found that, in my case, I had some -Infinity edge weights.