update state equivalence checking