make use of nonemptiness in definite assignment analysis