Added unfinished size-change implementation. Mostly it is a mess, but the interesting things happen in the bottom of the file, where the control flow graph is built.