basic Block handling