21. The method defined by claim 20 wherein said simplification comprises the factoring of common terms within said expressions and the removal of redundant parenthesis.
20. The method defined by claims 16 or 19 including the simplification of said expressions prior to said identification of said true and false paths.