goto bb check implemented