Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification