optimize constant conditional jumps to unconditional jumps, and shrink remaining ssa