Rename tactic -> predicate.