Add test case to reproduce if/else bug
Fix a bug with tail merging
Because VectorProcInstrInfo::InsertBranch was not implemented and failed silently, it was falling through when it shouldn't.