More tests for explicit invalidation behavior + added filters to predicates