13. The method of claim 10 further comprising the steps of: selecting a direction to traverse said sliced set of IL statements; and performing a forward analysis of said sliced set of IL statements when the direction is forward and performing a backward analysis when the direction is backward.
14. The method of claim 13 wherein said backward analysis comprises the step of substituting a select IL statement with a skip statement when said select IL statement is an alternation statement and fails to assign a new value to a variable contained in an associated postcondition.