termination and ptc termination

also changed the behavior so that it is actually dependent on components
having different seeds. The way it was before, it would also have worked
if the components used the same seed, as only the rnd(seed) - function,
which does not use the internal seed (just updates it), was used.