Backpropagated undefined checking.