Duplicate programs to limit side-effects
Remove global state in Termination