all legal scopes of functions and argument scalar types tested