Expand traversal FSM to multivariate ideal(2bit)