check if state equivalence is an issue