fix Issue 9885 - IFTI should consider known tuple types