Predicate DataFlow::lvalueNode

Gets the data flow node corresponding the given l-value expression, if such a node exists.

This differs from DataFlow::valueNode(), which represents the value before the l-value is assigned to, whereas DataFlow::lvalueNode() represents the value after the assignment.