[post-jam]: rewrote the control flow analyzer. each structure now has a unique header (a basic block) that dominates everything inside the structure, which turned out to be a useful invariant. &asm-trace