Predicate SelfAssignment::describe

Gets a description of expression e, which is assumed to be the left-hand side of an assignment.

For variable accesses, the description is the variable name. For property accesses, the description is of the form "property <name>", where <name> is the name of the property, except if <name> is a numeric index, in which case element <name> is used instead.

string describe(Expr e)