Member predicate AssignOperation::getExpandedAssignment
Gets the expanded version of this assignment operation, if any.
For example, if this assignment operation is x += y
then
the expanded assignment is x = x + y
.
If an expanded version exists, then it is used in the control flow graph.