ok( ) 变成 ok  predicate_arity