Deductions & credits

Yes, but the system only use the AGI to compute the SALT upper limit, and set over $22k in the SALT section. 
So I think this is a bug in the system.