added changes to verify states after analysis