track all keys that have appeared in the ancestry of a var and check all of them
write actual strings and check that they have the right value