לאחר דיון בנושא, החלטנו לאפשר כך או כך - אפשר לבחור לתמוך בכך, ואפשר גם להגדיר זאת כשגיאה. אנחנו לא נבדוק את התנהגות התוכנית במצב זה, ולכן שתי האופציות קבילות.
אני מאמין שהתשובה היא "לא" בגלל שאז הערך של הביטוי הבא יכול להיות לא צפוי (כי לא הוגדר אם מבצעים את חלק ימים או שמאל קודם):
G2={x1,x2,x3,x4 | }
G1= (G2={x1,x2 | })+(G2)
לדעתי לביטויים שהם mutable אין ערך החזרה בתרגיל, אחרת יש בעיות עם הגדרות אחרות.