public override Expression UpdateTotalStateLocationDirectly(ResolutionContext context, IConstraintCollector constraintCollector,
Expression val_new)
{
Expression parent_val_old = parent.GetValueInLValueState(context);
Expression parent_val_new = AH.MakeSeqUpdateExpr(tok, parent_val_old, index, val_new);
return(parent.UpdateTotalStateLocationDirectly(context, constraintCollector, parent_val_new));
}
