Rename Analysis -> Optimization. Hook the phase in.
When merging the block to knowledge map the default contents of a
variable need to be Uninitialized instead of top.
Analyze conditional branches
Optimize branching from SWITCH