Type Inference for Cobol Systems