Tax withheld is just that: withholding. It can come from estimates, employment, 1099-R, etc. It's all part of what was paid in and doesn't really relate to the Form 8915-E treatment at all. It relates to the total they Owe.
*******************************
Don't yell at us; we're volunteers
