Check for null identifier.
More careful ASG generation for unions to account for circularities.