Interstate assignment to map

[ThrudPrimrose]

Maps simple interstate assignments to map encompassing the whole state. Will complete after the bug fix on re-declaration of symbols is merge.

The pass only transforms if the assignment is a constant. (and the loops such as i = i + 1 should not be affected)

[ThrudPrimrose]

I should move this to a transformation. If the assigned symbol's value is used in more than one state, we need to wrap the whole subgraph where this value is necessary in a map and not just one state.