An Empirical Study Into Cobol Type Inferencing