In categorization by transtive functions `test`, its first argument is called with
the same argument as much as possible.