analysis is working, still need to merge the basic blocks from control flow change