Tue Feb 19 22:32:52 CET 2013

Single assigment

The border between single assignment and "true" memory assigment
remains a bit tricky.  On thing though: even external memory is
assigned to only once.  The only difference is that *references* are
passed into the function.

I.e. the essential transition is one from values to references.

Internal node: declaration + assignment.
External node: only assignment.

Output is still a-symmetric.  The reason is probably that the current
structure does not allow vector outputs.  The app doesn't need it, but
should it be taken into account?  It might be solved by making the
time loop explicit.

One structure pops up though: at all points, the values statements can
be replaced with assignments.