Go: mass-convert taint-flow models to models-as-data format (with `viableParamArgSpecific` hook)
${workspace}
viableArgParamSpecific