List Literal returns correctly typed lists
Dodgy way to make a FunctionInvocation out of FunDef and args
Correct test minimization to handle preconditions correctly
Remove rules that crash, add interesting benchmark
Display result in context of full function