Uff da: most PULSE non-determinism problems fixed?