Replace nondeterministic initialization calls