modify the state analyzer bug