modify the state analyzer