a test of the arg/3 predicate