Worklist

constructor(globalState: IdentityHashMap<K, State<N, V>> = IdentityHashMap<K, State<N, V>>())
constructor()