Doing the Impossible: Using Formal Verification on Packet Based Data Paths