Add predicate to static-arg