What problem are you trying to solve?

Currently, the data flow implementation doesn't properly draw graph edges from the expression of a return statement. For example, in the following, the two references of userInput aren't connected (but should be):

String userInput = params.get("id");
return sqlPrelude + userInput;

What is your solution?

Visit the return_statement but don't propagate from it.

Alternatives considered

N/A

What the reviewer should know

N/A