How do I find out whether simplified AMT FTC limitation was ever elected?