Using mkFreshFuncDecl instead of mkFuncDecl in executions. Only the former makes sense since we would like to inductively build these functions.