If you receive the message "Number of paths exceeded the processing limit of nn," set the processing limit to a higher value in the Maximum Number of Variable's Values field in Project Options > Verification > Advanced for the Cobol File type.