The use of quotes around "Useless" becomes clear in > decoupling the generation of types and expressions significantly biases generation towards functions that

The use of quotes around "Useless" becomes clear in > decoupling the generation of types and expressions significantly biases generation towards functions that do not use their arguments. > Such “use-less” function arguments lead to wasted computation, both in terms of generation time (as the code that generates such arguments is essentially dead) and in terms of compilation time (as the test runner now needs to compile a larger program).