Sets the property to all successors of the given node. @param node the node @param resultset
(LatticeNode node, Set<LatticeNode> resultset)
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected