Predicate signature InputSig::getABasicBlockSuccessor

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