Add is_applicable predicate.