Add a 'keys' assertion