Added variable changed/updated predicate