The pass that tries to make stack overflows deterministic, by introducing an upper bound of the stack size.
Injects gas counter.
If module has an exported “CREATE_SYMBOL” function we want to pack it into “constructor”.
raw_moduleis the actual contract code
ctor_moduleis the constructor which should return