Explicitly highlight predicates which can be asked only in one direction.