This module contains transformations to make equations from the guarded actions. That means that every cell (not QName) is written by exactly one guarded action which has the guard true,i.e. it is assigned in every step. Obviously, such an guarded action must be contained in the 'main' part, because otherwise it would not be executed in every step. Furthermore, the guarded action can be an immediate or a delayed one. If a cell is assigned by a delayed guarded action, the cell must additionally be initalized by an immediate action in the 'init' part. There is also an optimized generation of equations which works for hardware synthesis and does not build equations for (some) delayed actions. The result can be handled in a better by other backend tools. (e.g. xilinx tools)