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.
*******************************
"Level Up" is a gaming function, not a real life function.
