fixup logic bugs in ADT splitBB and GlobalAnalyais union all information to Function Live Data structure