Predicate signature Semantic::getABasicBlockSuccessor

Gets an immediate successor of basic block bb, if any.