Exclude initial state assertion