Computes an a priori legal list
of argument signatures for the provided
function.
Allows to foresee test complexity for a function, as this is in narrow relationship,
with the number of various call signatures that should be tested. The number of signatures
is in itself a good indicator of complexity.