Add `palindrome` assertion