* fix constant false() predicates