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.