StateUtil tests