QNode.getSucceedingPaths: unit -> QNode [] []
QNode.getSucceedingPaths: unit -> QNode [] []