Broken, but promising, version: generates interesting tests for multi-arg
functions, but breaks on some of them for reasons I don't yet understand.