The CI approach to automated IO analysis is aimed at