Adds rule about predicate naming w/o "is_"