DataFlowSanitizer: Prefix the name of each instrumented function with "dfs$".