Fixed diagnostic nondeterministic order bug (pr14901).