fix state analyzer