Add a is_FApp predicate.