Named predicate constraint checker fn