Append(V:LIST, E:OBJECT):NULL where V is a variable containing a list.
Use R ::= QQ[t,x,y,z]; L := [1,2,3]; Append(L,4); L; [1, 2, 3, 4] -------------------------------