modify the stateanalyzer