Simplify the way we determine whether to flush syntax-ppss cache.