Azt nem tudom, de amelyik COBOL kódot most fogják konvertálni, az nyilván évtizedek óta működik az adott környezetben, tehát kísérleti bizonyíték van a helyességére.
A bemenetről tehát tudják, hogy helyes, ami meg lesz beőle, arról legfeljebb hiszik.