Member predicate Assignment::AssignOperation::hasExpandedAssignment

Holds if this assignment operation has an expanded version.

For example, if this assignment operation is x += y then it has the expanded version x = x + y.

If an expanded version exists, then it is used in the control flow graph.

predicate hasExpandedAssignment()