more fix to pid kill

@@ -267,6 +267,9 @@ def extend (module) :
                     for n, child in enumerate(children) :
                     for n, child in enumerate(children) :
                         assign.append("%s=%s.next(%s+%s)"
                         assign.append("%s=%s.next(%s+%s)"
                                       % (child, parent, n, pidcount))
                                       % (child, parent, n, pidcount))
+                for pid in self.pids.killed :
+                    pidcount = vars.fresh(add=True, base="next_%s" % pid)
+                    self.pids.next[pid] = pidcount
                 if guard is None :
                 if guard is None :
                     guard = snk.Expression("newpids(%s)" % ", ".join(assign))
                     guard = snk.Expression("newpids(%s)" % ", ".join(assign))
                 else :
                 else :