Dodgy way to make a FunctionInvocation out of FunDef and args
Correct test minimization to handle preconditions correctly