>Looks like a bug to me. Both functions don't return NULL under any circumstances so they satisfy requrements for BINARY indexes.
>

Hi Sergey,
you can remember some other boolean functions that it cannot return NULL ?