Known Bugs in SA-C compiler

Description: exists only in host code execution. Happens when next y=x; and x is also a nextified variable.

Solution: Change the ND_NEXT node to have an output port corresponding to the final value. Take care that we do not use the same id inside the loop as outside or else we will break the single-assigment semantic (for initialization).