The problem appears to be that the predicate accepts any constant, without checking the range.
I'll post a patch shortly.
The problem appears to be that the predicate accepts any constant, without checking the range.
I'll post a patch shortly.