Less false positives in infinite types detection