Nested dirty checking