IRA contribution should be included in form 1116 line 3b?