// state is responsible for spawning the "doomed" states for each of the
// Sequence's conjuncts. This obligation is recorded by adding the to-be-spawned
// states to conjunctStates.
if (!p.isFirst()) continue;
for(Sequence s : p.owner().needs())
if (!hs.contains(s.firstp()))
// state is responsible for spawning the "doomed" states for each of the
// Sequence's conjuncts. This obligation is recorded by adding the to-be-spawned
// states to conjunctStates.
if (!p.isFirst()) continue;
for(Sequence s : p.owner().needs())
if (!hs.contains(s.firstp()))