Rename Is_Has_Key -> Has_Key and slightly simplify.