This is an excellent point. It points out how an unreferenced co-expression variable could be accessed .although I still know of no technique for assigning a new value to these variables.
Perhaps this can work:
variable("x"):=sqrt(2)
(although, unfortunately, x has to be "declared" somewhere in procedure.)
----
Kazimir Majorinc, Zagreb, Croatia
