Added experimental sequentialization.
* trades off copies of variables for copies of constants.
* seems to be too expensive, at the moment.