Parser/Compiler should local variable assignment into SSA form
The transformation from TinyPseuCo requires that each variable is only assigned once. Instead of pushing this constraint to the user, we can handle this during the parse/compile stage.
This also enables setting local variables to different values in the branches of an if-then-else expression, which is currently impossible.