Add f-ext? predicate function