Adding hasKeyleaf