Formal Equivalence Checking - Example Flow