tests prove that invalidation messages are affecting properties