We do still place a few restrictions on the inputs. For example, we currently assume that pointers are not written out to files and then read in and later dereferenced.

Instead of building ``skeleton trees'' [1], we just keep lists of assignments sorted according to a bottom-up traversal of the dominator tree.

Bob Wilson