Boolean Function Decomposition in Symbolic FSM Traversal