3. The digital computer system of claim 2 further comprising a means for simplifying said weakest precondition of said portion.
3. The digital computer system of claim 2 further comprising a means for simplifying said weakest precondition of said portion. 4. The digital computer system of claim 3 wherein said each of said IL statements includes a first data field containing a line number from said source code file and a second data field containing a source block number.