-- -*- M2-comint -*- hash: 517200606373185071

i1 : declareVariable x

o1 = x

o1 : InputGate

i2 : x + 1

o2 = (x + 1)

o2 : SumGate

i3 : undeclareVariable x

o3 = x

o3 : Symbol

i4 : x

o4 = x

o4 : Symbol

i5 : 
